Artificial intelligence techniques
: a comprehensive catalogue / Alan Bundy (ed.). - 4., rev. ed. - Berlin : Springer, 1997. - XVI, 141 S.; 24 cm
ISBN 978-3-540-59323-2 / 3-540-59323-3 kart. : DM 36.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Alan Bundy (ed.). - Berlin : Springer, 1994. - XVI, 848 S.; 24 cm - (Lecture notes in computer science; Vol. 814 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58156-7 / 3-540-58156-1 kart. : DM 152.00
Literaturangaben
Quelle: DNB
Catalogue of artificial intelligence techniques
/ Alan Bundy (ed.). - 3., rev. ed. - Berlin : Springer, 1990. - 179 S.; 25 cm - (Symbolic computation : Artificial intelligence)
ISBN 978-3-540-52959-0 / 3-540-52959-4 Pp. : DM 49.00
Literaturangaben
Quelle: DNB
