Suchfeld einblenden
Person Cialdea Mayer, Marta
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings / Marta Cialdea Mayer ; Fiora Pirri (ed.). - Berlin : Springer, 2003. - X, 270 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2796 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40787-4 / 3-540-40787-1 kart. : EUR 44.94 (freier Pr.), sfr 72.00
Literaturangaben
Quelle: DNB
Seite < 1 >
