Editors:
Part of the book series: Symbolic Computation (SYMBOLIC)
Part of the book sub series: Artificial Intelligence (1064)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
About this book
Bibliographic Information
Book Title: Automation of Reasoning
Book Subtitle: Classical Papers on Computational Logic 1957–1966
Editors: J. Siekmann, G. Wrightson
Series Title: Symbolic Computation
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1983
Softcover ISBN: 978-3-642-81954-4Published: 10 January 2012
Edition Number: 1
Number of Pages: XII, 528