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 (575 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.