Automated Deduction - Cade-11
Author | : Deepak Kapur |
Publisher | : |
Total Pages | : 816 |
Release | : 2014-01-15 |
ISBN-10 | : 3662211092 |
ISBN-13 | : 9783662211090 |
Rating | : 4/5 (090 Downloads) |
Book Synopsis Automated Deduction - Cade-11 by : Deepak Kapur
Download or read book Automated Deduction - Cade-11 written by Deepak Kapur and published by . This book was released on 2014-01-15 with total page 816 pages. Available in PDF, EPUB and Kindle. Book excerpt: