Format:
XV, 640 Seiten
,
Illustrationen
Edition:
1st ed.
ISBN:
9783662488997
,
9783662488980
Series Statement:
Lecture Notes in Computer Science 9450
Language:
English
Keywords:
Automatisches Beweisverfahren
;
Künstliche Intelligenz
;
Logische Programmierung
;
Programmierlogik
;
Künstliche Intelligenz
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-662-48899-7
Author information:
Davis, Martin 1928-2023