Handbook of Automated Reasoning
Author | : Alan J.A. Robinson |
Publisher | : Elsevier |
Total Pages | : 2128 |
Release | : 2001-06-22 |
ISBN-10 | : 9780080532790 |
ISBN-13 | : 0080532799 |
Rating | : 4/5 (90 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 Elsevier. This book was released on 2001-06-22 with total page 2128 pages. Available in PDF, EPUB and Kindle. Book excerpt: Handbook of Automated Reasoning