Bibliography of Hähnle, Reiner, alphabetically ordered:This is the alphabetically ordered list of all books of this author known to ISBNdb.com (the list may be incomplete). You can also see books grouped by subjects.
Theorem proving with analytic tableaux and related methodsTheorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds
Publisher: Berlin : Springer, c1995.
ISBN: 3540593381 ISBN13: 9783540593386 LCC: QA76.9