Wos, Larry books & textbook
A Fascinating Country in the World of Computing
World Scientific Publishing Company /2000-03-15 Product Bundle / 587 Pages
isbn-10: 9810239106 / isbn-13: 9789810239107
The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
Academic Press /1996-08-12 Hardcover / 434 Pages
isbn-10: 0127634207 / isbn-13: 9780127634203
Automated Reasoning: 33 Basic Research Problems
Prentice Hall /1987-11-01 Paperback / 319 Pages
isbn-10: 013054552X / isbn-13: 9780130545527
Automated Reasoning: Introduction and Applications/Book & Disk by Wos, Larry (1992) Hardcover
Mcgraw-Hill (Tx) / Hardcover
By Larry Wos Automated Reasoning: Introduction and Applications (1st First Edition) [Paperback]
Prentice Hall / Unknown Binding
Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)
World Scientific Publishing Company /2000-01-26 Hardcover / 1680 Pages
isbn-10: 9810240015 / isbn-13: 9789810240011
Automated Reasoning: Introduction and Applications
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James
Prentice-Hall /1984T Paperback / 482 Pages
isbn-10: 0130544469 / isbn-13: 9780130544469
コンピュータによる推論技法 (COMPUTATION & SOFTWARE SCIENCE)
Tankobon Hardcover
isbn-10: 4895012921 / isbn-13: 9784895012928
