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 9 offersUS$ 8.98
-
Automated Reasoning: 33 Basic Research Problems
Wos, Larry
Item prices starting from
View 3 offersUS$ 8.45
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.63
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
