Larry Wos
Popular items by Larry Wos
View all offers-
Automated Reasoning: Introduction and Applications
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James
Item prices starting from
View 11 offersUS$ 5.00
-
Automated Reasoning: 33 Basic Research Problems
Wos, Larry
Item prices starting from
View 3 offersUS$ 8.49
Also find
Used -
A Fascinating Country in the World of Computing
Wos Larry
Item prices starting from
View 14 offersUS$ 38.96
-
Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set)
Pieper, Gail W; Wos, Larry
Item prices starting from
View 1 offerUS$ 294.66
Also find
New -
The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
Wos, Larry
Item prices starting from
View 3 offersUS$ 97.05
Also find
New
