Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000 ; proceedings / Roy Dyckhoff (ed.). - Berlin : Springer, 2000. - X, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1847 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67697-3 / 3-540-67697-X kart. : DM 98.00
Literaturangaben
Quelle: DNB
Extensions of logic programming
: 5th international workshop ; proceedings / ELP '96, Leipzig, Germany, March 28 - 30, 1996. Roy Dyckhoff ... (ed.). - Berlin : Springer, 1996. - VIII, 318 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1050 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60983-4 / 3-540-60983-0 kart. : DM 70.00
Literaturangaben
Quelle: DNB