Larry Wos

Popular items by Larry Wos

View all offers

33 Basic Research Problems (Automated Reasoning)
Wos, Larry; Etc.

Item prices starting from

� 14.71

View 2 offers

Also find
Used
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
Pieper, Gail W; Wos, Larry

Item prices starting from

� 30.32

View 12 offers

Also find
New, Used
The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
Wos, Larry

Item prices starting from

� 74.91

View 3 offers

Also find
New
The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1
Pieper, Gail W; Wos, Larry

Item prices starting from

� 218.79

View 1 offer

Also find
New