Suchfeld einblenden
Person Egly, Uwe
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings / U. Egly ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2381 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45616-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
