Automation of reasoning
By: edited by Jörg Siekmann and Graham Wrightson.
Contributors: Siekmann, Jörg H.; Wrightson, Graham.
Series: Symbolic computation
Publisher: Springer-Verlag
Published: 1983
Place of publication: Berlin; New York
Language: eng
Subjects: Automatic theorem proving.
Other titles: Classical papers on computational logic.
Notes: Includes bibliographies.
Table of contents: 1. Classical papers on computational logic 1957-1966.; 2. Classical papers on computational logic 1967-1970.