|
| Books 1 - 10 of 12 | Previous | Next |
|
 | | 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 Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
by Larry Wos, Gail W. Pieper
Hardcover, 1600 Pages, Published 2000 by World Scientific Publishing Co Pte Ltd
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial: 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
by LARRY WOS
Paperback, 608 Pages, Published by World Scientific Publishing
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning and Its Applications: Essays in Honor of Larry Wos
by R Veroff
Hardcover, 257 Pages, Published 1997 by MIT Press
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 (Editor)
Hardcover, 384 Pages, Published 2002 by Rinton Pr Inc, CD-Rom Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | "Collected Works of Larry Wos (in 2 Vols), Vol 1 - Exploring the Power Of...; Vol 2 - Applying Autom
by LARRY WOS
Paperback, 1600 Pages, Published 1999 by World Scientific Publishing
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning: Introduction and Applications
by Larry Wos
Paperback, 482 Pages, Published 1984 by Prentice Hall
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated reasoning contributes to mathematics and logic
by Larry Wos
Unknown Binding, 15 Pages, Published 1991 by Argonne National Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automated Reasoning: Introduction and Applications
by Larry Wos
Hardcover, Published 1992 by Mcgraw-Hill (Tx)
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 12 | Previous | Next |