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
Table of contents (33 chapters)
-
Automated Theorem Proving 1965–1970
-
1969
Keywords
About this book
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