Format:
1 Online-Ressource (VIII, 307 S.
,
graph. Darst.)
ISBN:
3540523375
,
0387523375
Series Statement:
Lecture notes in computer science 418.: Lecture notes in artificial intelligence.
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Künstliche Intelligenz
;
Sorte
;
Datentyp
;
Künstliche Intelligenz
;
Mehrsortige Prädikatenlogik
;
Prädikatenlogik
;
Künstliche Intelligenz
;
Sortierverfahren
;
Künstliche Intelligenz
;
Konferenzschrift
DOI:
10.1007/3-540-52337-6