Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning
Author :
Publisher : Cambridge University Press
Total Pages : 703
Release :
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.


Handbook of Practical Logic and Automated Reasoning Related Books