Search - List of Books by Larry Wos

Larry Wos is a mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratories.

Wos studied at the University of Chicago, receiving a bachelor's degree in 1950 and a master's in mathematics in 1954, and went on for doctoral studies at the University of Illinois at Urbana-Champaign. He joined Argonne in 1957, and began using computers to prove mathematical theorems in 1963.

Wos is congenitally blind. He is an avid bowler, the best male blind bowler in the US.

Awards and Honors   more �

Books   more �

This author page uses material from the Wikipedia article "Larry Wos", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 6
The Automation of Reasoning  An Experimenter's Notebook with Otter Tutorial
Automated Reasoning
1984 - Automated Reasoning (Paperback)
ISBN-13: 9780130544469
ISBN-10: 0130544469
Genre: Computers & Technology
  ?

Automated Reasoning Introduction and Applications/Book  Disk
Automated Reasoning 33 Basic Research Problems
Collected Works of Larry Wos  Exploring the Power of Automated Reasoning
Collected Works of Larry Wos Exploring the Power of Automated Reasoning [2 volume set - Vol 1] (Hardcover)
ISBN-13: 9789810240011
ISBN-10: 9810240015
Genres: Computers & Technology, Science & Math
  ?