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.