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
|