Overview
Part of the book series: Symbolic Computation (SYMBOLIC)
Part of the book sub series: Artificial Intelligence (1064)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (33 chapters)
-
Automated Theorem Proving 1965–1970
-
1969
Editors and Affiliations
Bibliographic Information
Book Title: Automation of Reasoning
Book Subtitle: 2: Classical Papers on Computational Logic 1967–1970
Editors: Jörg H. Siekmann, Graham Wrightson
Series Title: Symbolic Computation
DOI: https://doi.org/10.1007/978-3-642-81955-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1983
Softcover ISBN: 978-3-642-81957-5Published: 09 February 2012
eBook ISBN: 978-3-642-81955-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XII, 637
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations