Handbook of Automated Reasoning
| Author | : Alan J.A. Robinson |
| Publisher | : Gulf Professional Publishing |
| Total Pages | : 1004 |
| Release | : 2001-06-21 |
| ISBN-10 | : 0444829490 |
| ISBN-13 | : 9780444829498 |
| Rating | : 4/5 (498 Downloads) |
Book Synopsis Handbook of Automated Reasoning by : Alan J.A. Robinson
Download or read book Handbook of Automated Reasoning written by Alan J.A. Robinson and published by Gulf Professional Publishing. This book was released on 2001-06-21 with total page 1004 pages. Available in PDF, EPUB and Kindle. Book excerpt: Handbook of Automated Reasoning.
