Automation of reasoning/
Automation of reasoning/
edited by Jörg Siekmann and Graham Wrightson.
- Berlin: New York: Springer, 1983.
- 2 v.: ill.; 25 cm.
Includes bibliographical references.
0387120432 (U.S. : v. 1) 0387120440 (U.S. : v. 2)
83172968
Automatic theorem proving.
001.535 / A939
Includes bibliographical references.
0387120432 (U.S. : v. 1) 0387120440 (U.S. : v. 2)
83172968
Automatic theorem proving.
001.535 / A939