STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Larry Wos | lit.salon
Larry Wos
No bio available.
Add one in Open Library.
Books by Larry Wos (50 max)
+ shelf
+ list
Automated reasoning: 33 basic research problems
1987
Larry Wos
+ shelf
+ list
The collected works of Larry Wos
2000
Larry Wos
+ shelf
+ list
A Fascinating Country in the World of Computing
1999
Larry Wos, Gail W. Pieper
+ shelf
+ list
Automated reasoning and its applications: essays in honor of Larry Wos
1997
Larry Wos, Robert Veroff, Gail W. Pieper
+ shelf
+ list
Automated reasoning: introduction and applications
1984
Larry Wos
+ shelf
+ list
Automated reasoning: introduction and applications
1992
Larry Wos
+ shelf
+ list
The automation of reasoning: an experimenter's notebook with OTTER tutorial
1996
Larry Wos
+ shelf
+ list
Fascinating Country in the World of Computing, a Your Guide to Automated Reasoning
1999
Gail W. Pieper, Larry Wos
+ shelf
+ list
Collected Works of Larry Wos Vol. 1: Exploring the Power of Automated Reasoning
2000
Larry Wos, Gail W. Pieper
