Automated theorem proving. After 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983.

Bledsoe, Woody W.:

ISBN 10: 082185027X / ISBN 13: 9780821850275

Published by Providence, American Math. Soc, 1985

About this Item

360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. A00507 082185027X Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 2516293

Bibliographic Details

• Title: Automated theorem proving. After 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983.
• Publisher: Providence, American Math. Soc
• Publication Date: 1985
• Language: English
• ISBN 10: 082185027X
• ISBN 13: 9780821850275
• Binding: Softcover
• Edition: Reprint.
• Seller catalogs:
  • AA Varia

About this title

Synopsis

Automated Theorem Proving Automated Theorem Proving