TY - BOOK
AU - International Workshop on Nonmonotonic and Inductive Inference 1 1990 Karlsruhe
AU - Dix, Jürgen
TI - Nonmonotonic and inductive logic 1st international workshop, Karlsruhe, Germany, December 4 - 7, 1990 ; proceedings
PB - Springer
SN - 3540545646
SN - 0387545646
KW - Logic programming Congresses
KW - Artificial intelligence Congresses
KW - Induction (Logic) Congresses
KW - Nonmonotonic reasoning Congresses
KW - Logic
KW - Congresses
KW - Artificial
KW - Konferenzschrift
KW - Konferenzschrift 1990 Karlsruhe
KW - Nichtmonotone Logik
KW - Programmierung
KW - Induktive Logik
KW - Nichtmonotones Schließen
PY - 1991
N2 - Proceedings of the First International Workshop on Nonmonotonic and Inductive Inference
N2 - Literaturangaben
BT - Lecture notes in computer science ; 543 ; Lecture notes in artificial intelligence
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation