Handbook of Practical Logic and Automated Reasoning
Download or Read eBook Handbook of Practical Logic and Automated Reasoning PDF 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.
| 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
Book excerpt: A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
