TY  - BOOK
AU  - Dix, J [ed.]
AU  - Jantke, K. P, [ed.]
AU  - Schmitt, P. H [ed.]
TI  - Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic 
SN  - 3540545646
U1  - 001.535 
PY  - 1991///
CY  - Verlag
PB  - Springer
KW  - Logic programming
KW  - Logic, Symbolic and mathematical
KW  - Artificial intelligence
ER  -