Suchfeld einblenden
Person Murray, Neil V.
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings / Neil V. Murray (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1617 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48754-8
Lizenzpflichtig
Quelle: DNB
Seite < 1 >