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.

Description
Physical Description:	2 volumes : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references.
ISBN:	0387120432 (U.S. : v. 1) 0387120440 (U.S. : v. 2)