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.
Description
Physical Description:xii, 206 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [199]-200) and index.
ISBN:0387948473