A Computational Logic Handbook

by R. Boyer and J Moore

0 ratings • 0 reviews • 0 shelved
Book cover for A Computational Logic Handbook

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

  • ISBN10 0121229556
  • ISBN13 9780121229559
  • Publish Date 1 January 1997
  • Publish Status Active
  • Out of Print 20 November 2009
  • Publish Country US
  • Publisher Elsevier Science Publishing Co Inc
  • Imprint Academic Press Inc
  • Edition 2nd Revised edition
  • Format Hardcover
  • Pages 512
  • Language English