000 00695nam a22002297a 4500
005 20161230145142.0
008 161230b xxu||||| |||| 00| 0 eng d
020 _a3540545646
040 _cIITK
041 _aeng
082 _a001.535
_bL497 v.543
245 _aLecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic
_cedited by J. Dix, K. P. Jantke and P. H. Schmitt
260 _aVerlag
_bSpringer
_c1991
300 _a243p
650 _aLogic programming
650 _aLogic, Symbolic and mathematical
650 _aArtificial intelligence
700 _aDix, J [ed.]
700 _aJantke, K. P, [ed.]
700 _aSchmitt, P. H [ed.]
942 _cBK
999 _c521405
_d521405