Automation of reasoning
By: edited by Jörg Siekmann and Graham Wrightson.
Contributors: Siekmann, Jörg H.; Wrightson, Graham.
Publisher: Springer
Published: 1983
Place of publication: Berlin; New York
Language: eng
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references.