Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: TABLEAUX '95, Sankt Goar, Germany
Other Authors: Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim
Format: Conference Proceeding Book
Language:English
Published: Berlin : New York : Springer, c1995.
Series:Lecture notes in computer science ; 918.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:x, 352 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540593381

Similar Items