Suchfeld einblenden
Person Olivetti, Nicola
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings / Nicola Olivetti (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4548 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73099-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
