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

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, [1995]
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.

Remote Storage