Theorem 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.)
Bok Engelsk 1995 TABLEAUX '95
Utgitt | Berlin : Springer , c1995
|
---|---|
Omfang | X, 352 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540593381
|