Handbook of Practical Logic and Automated Reasoning
Author | : John Harrison |
Publisher | : Cambridge University Press |
Total Pages | : 703 |
Release | : 2009-03-12 |
Genre | : Computers |
ISBN | : 0521899575 |
Download Handbook of Practical Logic and Automated Reasoning Book in PDF, Epub and Kindle
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.