Handbook of Practical Logic and Automated Reasoning
by John Harrison 2020-11-20 03:13:02
image1
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Less
  • Publication date
  • Language
  • ISBN
  • March 12, 2009
  • eng
  • 9780511501562
Compare Prices
Available Discount
No Discount available
Related Books