Cover Image

Deduction systems /

Show other versions (1)
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.
Search Result 1
Cover Image
by Socher-Ambrosius, Rolf
Published 1997
Connect to the full text of this electronic book
eBook
Show all versions (2)