Format:
171 S.
ISBN:
3540557458
,
0387557458
Series Statement:
Lecture notes in computer science 619 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Nichtklassische Logik
;
Datenverarbeitung
;
Modallogik
;
Logische Programmierung
;
Nichtmonotone Logik
;
Beweistheorie
;
Logische Programmierung
;
Künstliche Intelligenz
;
Künstliche Intelligenz
;
Mathematische Logik
;
Informationsverarbeitung
;
Nichtklassische Logik
;
Nichtklassische Logik
;
Mathematische Logik
;
Konferenzschrift
Author information:
Pearce, David A. 1952-