Automated Deduction - Cade-13
Author | : Michael A. McRobbie |
Publisher | : |
Total Pages | : 788 |
Release | : 2014-01-15 |
ISBN-10 | : 3662176726 |
ISBN-13 | : 9783662176726 |
Rating | : 4/5 (26 Downloads) |
Book Synopsis Automated Deduction - Cade-13 by : Michael A. McRobbie
Download or read book Automated Deduction - Cade-13 written by Michael A. McRobbie and published by . This book was released on 2014-01-15 with total page 788 pages. Available in PDF, EPUB and Kindle. Book excerpt: