Cover Image

Automation of reasoning /

Bibliographic Details
Other Authors: Siekmann, Jörg H., Wrightson, Graham
Format: Book
Language:English
Published: Berlin ; New York : Springer, 1983.
Series:Symbolic computation. Artificial intelligence.
Subjects:
Automatic theorem proving.
Table of Contents:
  • [v.] 1. Classical papers on computational logic, 1957-1966.