Suchfeld einblenden
Person Abrusci, V. Michele
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings / V. Michele Abrusci .... - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2796 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45206-5
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
