Cover is for reference only

Theorem proving with analytic tableaux and related methods：4th International Workshop, TABLEAUX '95, SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Saved in:
Bibliographic Details
Group Author: Hahnle Reiner; Posegga Joachim; Baumgartner Peter
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1995.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 918.
Subjects:
Nonclassical mathematical logic > Congresses
Logic, Symbolic and mathematical > Congresses
Automatic theorem proving > Congresses
Carrier Form: x, 352 p.: ill. ; 24 cm.
ISBN: 3540593381
Index Number: O141
CLC: O141.2-532
Call Number: O141.2-532/T396/1995/
Contents: Includes bibliographical references.

Related Book Recommendations