The collected works of Larry Wos /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Singapore ; River Edge, NJ :
World Scientific,
[2000]
|
| Subjects: |
Table of Contents:
- v. 1. Exploring the power of automated reasoning
- v. 2. Applying automated reasoning to puzzles, problems, and open questions.