Format:
XII, 218 S.
,
graph. Darst.
ISBN:
3540253327
Series Statement:
Lecture notes in computer science 3301 : Lectrue notes in artifical intelligence
Language:
English
Keywords:
Wissensverarbeitung
;
Ausdruck
;
Konditionalsatz
;
Mathematische Logik
;
Wissensverarbeitung
;
Ausdruck
;
Konditionalsatz
;
Inferenz
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
Author information:
Kern-Isberner, Gabriele 1956-