Automated Deduction - Cade-19

by Franz Baader

0 ratings • 0 reviews • 0 shelved
Book cover for Automated Deduction - Cade-19
Shelve It

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

  • ISBN10 3662188228
  • ISBN13 9783662188224
  • Publish Date 1 September 2014
  • Publish Status Withdrawn
  • Out of Print 18 October 2014
  • Publish Country US
  • Imprint Springer
  • Format Paperback (US Trade)
  • Pages 524
  • Language English