| Books 1 - 10 of 13 | Previous | Next |
|
 | | Automated Reasoning
by Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle
Paperback, 482 Pages, Published 1984 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
by Robert Veroff (Editor)
Hardcover, 257 Pages, Published 1997 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)
by Larry Wos
Hardcover, 1600 Pages, Published 2001 by World Scientific Publishing Company
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning: 33 Basic Research Problems
by Larry Wos
Paperback, 319 Pages, Published 1987 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial (Har/Dsk Edition)
by Larry Wos
Hardcover, 434 Pages, Published 1996 by Academic Press, Har/Dsk Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A Fascinating Country in the World of Computing (Har/Cdr Edition)
by Larry Wos, Gail W. Pieper
Hardcover, 587 Pages, Published 2000 by World Scientific Publishing Company, Har/Cdr Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning: Introduction and Applications/Book & Disk (2 Har/Dsk Edition)
by Larry Wos
Hardcover, 656 Pages, Published 1992 by Mcgraw-Hill (Tx), 2 Har/Dsk Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning and the Discovery of Missing and Elegant Proofs (CD-Rom Edition)
by Larry Wos, Gail W. Pieper
Hardcover, 384 Pages, Published 2003 by Ave Maria Press, CD-Rom Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
by Robert Veroff
Paperback, Published 1997 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Automation of Reasoning : An Experimenter's Notebook with Otter Tutorial
by Larry Wos
Paperback, Published 1996 by Academic Press
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 13 | Previous | Next |