Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
Roy Dyckhoff (ed.)
Bok Engelsk 2000 TABLEAUX 2000
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | X, 440 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 354067697X
|
