8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Mathematics, #230)

0 ratings • 0 reviews • 0 shelved
Book cover for 8th International Conference on Automated Deduction
Shelve It

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

  • ISBN10 0387167803
  • ISBN13 9780387167800
  • Publish Date 1 July 1986
  • Publish Status Active
  • Publish Country DE
  • Imprint Springer
  • Format Hardcover
  • Language English