A Machine Program for Theorem-Proving

by Martin Davis, George Logemann, and Donald Loveland

0 ratings • 0 reviews • 0 shelved
Book cover for A Machine Program for Theorem-Proving

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1179051785
  • ISBN13 9781179051789
  • Publish Date 31 August 2011
  • Publish Status Unknown
  • Publish Country US
  • Imprint Nabu Press
  • Format Paperback (US Trade)
  • Pages 38
  • Language English