Marta Cialdea Mayer, Fiora Pirri (eds.)
Berlin ; Tokyo : Springer, c2003
図書等2003
x, 270 p. : ill. ; 24 cm
Lecture notes in computer science ; 2796 [Lecture notes in artificial intelligence]
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
TABLEAUX [ International Conference, TABLEAUX ] [ Workshop on Theorem Proving with Analytic Tableaux and Related Methods ] [ International Conference on Analytic Tableaux and Related Methods ]
3540407871
BA63834084
