An edition of Collected Works of Larry Wos (2000)
Collected Works of Larry Wos
Exploring the Power of Automated Reasoning (2 volume set)
By Larry Wos
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
March 2001
Publisher
World Scientific Publishing Company
Language
eng
Pages
1620
Description:
subjects: Artificial intelligence, Automatic theorem proving, Reasoning, Puzzles