Format:
VIII, 307 S. : graph. Darst.
ISBN:
3-540-52337-5
,
0-387-52337-5
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
;
Künstliche Intelligenz
;
Sortierverfahren
;
Künstliche Intelligenz
;
Datentyp
;
Künstliche Intelligenz
;
Konferenzschrift
;
Konferenzschrift