Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Uwe Egly, Christian G. Fermüller (eds.)
Bok Engelsk 2002 TABLEAUX 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | X, 339 s. : ill.
|
| Emner | |
| ISBN | 3540439293
|
