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 /

Show other versions (3)

Bibliographic Details
Other Authors:	Baumgartner, Peter, Hähnle, Reiner, Hähnle, Reiner, Posegga, Joachim
Format:	Book
Language:	English
Published:	Berlin : New York : Springer, c1995 Berlin ; New York : [1995], ©1995
Series:	Lecture notes in computer science ; 918 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses Logic, Symbolic and mathematical > Congresses Nonclassical mathematical logic > Congresses Automatic theorem proving Logic, Symbolic and mathematical Nonclassical mathematical logic Conference papers and proceedings

Internet

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.9.A96T43 1995

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA 76.9 .A96 T431 1995

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 918

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.A96 T43 1995g

Brown University

Holdings details from Brown University
Call Number:	QA76.9.A96 T44x 1995