Format:
1 Online-Ressource (XIV, 509 S.
,
graph. Darst.)
ISBN:
354055727X
,
038755727X
Series Statement:
Lecture notes in computer science 624 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Problemlösen
;
Automation
;
Logische Programmierung
;
Automatisches Beweisverfahren
;
Logik
;
Künstliche Intelligenz
;
Logische Programmierung
;
Automatisches Beweisverfahren
;
Logische Programmierung
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Voronkov, Andrei 1959-