The collected works of Larry Wos
By: Larry Wos, Gail W. Pieper.
Contributors: Pieper, Gail W.
Publisher: World Scientific
Published: 2000
Place of publication: Singapore; River Edge, NJ
Language: eng
Number of pages: 1639
Subjects: Automatic theorem proving.; Artificial intelligence.
Notes: Includes bibliographical references.
Table of contents: title: v. 1. Exploring the power of automated reasoning; title: v. 2. Applying automated reasoning to puzzles, problems, and open questions.