Deduction systems /

Bibliographic Details

Main Author:	Socher-Ambrosius, Rolf
Other Authors:	Johann, Patricia
Format:	Book
Language:	English
Published:	New York : Springer, [1997]
Series:	Graduate texts in computer science (Springer-Verlag New York Inc.)
Subjects:	Automatic theorem proving.