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 methods
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedingsPeter Baumgartner, Reiner Hähnle, Joachim Posegga, eds
Publisher: Berlin : Springer, c1995.
ISBN: 3540593381 ISBN13: 9783540593386 LCC: QA76.9
Automated deduction in multiple-valued logics
Reiner HahnlePublisher: Oxford : Clarendon Press ; 1993.
ISBN: 0198539894 ISBN13: 9780198539896 DDC: 511.3 LCC: QA76.9 Edition: (Hbk.) :$45.00 (£30.00)