Format:
1 Online-Ressource (VIII, 205 S.)
ISBN:
3540567321
,
0387567321
Series Statement:
Lecture notes in computer science 679 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Entscheidungstheorie
;
Mathematische Logik
;
Künstliche Intelligenz
;
Entscheidungsproblem
;
Mathematische Logik
;
Künstliche Intelligenz
;
Entscheidungsproblem
;
Entscheidungsproblem
;
Lösung
;
Aufsatzsammlung
;
Aufsatzsammlung
DOI:
10.1007/3-540-56732-1
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Fermüller, Christian G. 1963-