Shelfclass_id |
4.B.3 |
Sortkey |
TABLEAUX |
Authors |
Peter Baumgartner, Reiner Hähnle, Joachim Posegga |
Title |
TABLEAUX 1995: Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995: proceedings |
Publisher |
Springer-Verlag |
Year |
c1995 |
Languages |
eng |
Isbn |
3540593381 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
918 |
Issn |
0302-9743 |
Description |
x, 352 p. ill. 24 cm |
Record date |
20060824 |
Location |
New York |
Keywords |
Automatic theorem proving, Nonclassical mathematical logic, Logic, Symbolic and mathematical |
Notes |
Hahnle |