The Collected Works of Larry Wos: Applying automated reasoning to puzzles, problems, and open questions
| Author | : Larry Wos |
| Publisher | : |
| Total Pages | : 1639 |
| Release | : 2000 |
| ISBN-10 | : 9810249985 |
| ISBN-13 | : 9789810249984 |
| Rating | : 4/5 (85 Downloads) |
Book Synopsis The Collected Works of Larry Wos: Applying automated reasoning to puzzles, problems, and open questions by : Larry Wos
Download or read book The Collected Works of Larry Wos: Applying automated reasoning to puzzles, problems, and open questions written by Larry Wos and published by . This book was released on 2000 with total page 1639 pages. Available in PDF, EPUB and Kindle. Book excerpt: