Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Bernhard Beckert (ed.)
Bok Engelsk 2005 TABLEAUX 2005
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIII, 342 s. : ill.
|
| Emner | |
| ISBN | 3540289313. - 9783540289319
|
