Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Marta Cialdea Mayer, Fiora Pirri (eds.)
Bok Engelsk 2003 TABLEAUX 2003
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | X, 270 s. : ill.
|
| Emner | |
| ISBN | 3540407871
|
