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
|