Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
Harrie de Swart (ed.)
Bok Engelsk 1998 TABLEAUX '98
| Utgitt | Berlin : Springer , c1998
|
|---|---|
| Omfang | X, 324 s. : ill.
|
| Emner | |
| ISBN | 3540644067
|
