Handbook of Practical Logic and Automated Reasoning
| Author | : John Harrison |
| Publisher | : Cambridge University Press |
| Total Pages | : 703 |
| Release | : 2009-03-12 |
| ISBN-10 | : 9780521899574 |
| ISBN-13 | : 0521899575 |
| Rating | : 4/5 (74 Downloads) |
Book Synopsis Handbook of Practical Logic and Automated Reasoning by : John Harrison
Download or read book Handbook of Practical Logic and Automated Reasoning written by John Harrison and published by Cambridge University Press. This book was released on 2009-03-12 with total page 703 pages. Available in PDF, EPUB and Kindle. Book excerpt: A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.