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
|