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
|
