000 00795nam a2200193Ia 4500
008 131122s9999 xx 000 0 und d
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bIn61
100 _aDix Jurgen ed.
110 _aInternational Conference, LPNMR '97 on Logic Programming and Nonmonotonic Reasoning (4th : 28-31 Jul 1997 : Dagstuhl,Germany)
111 _aInternational conference, LPNMR '97 on logic programming and nonmonotonic reasoning
_cDagstuhl, Germany
_d28-31 Jul 1997
245 _aLogic programming and nonmonotonic reasoning
_bproceedings
260 _aBerlin
_bSpringer-Verlag
_c1997
300 _ax,452p.
440 _aLecture notes in computer science; Lecture notes in artificial intelligence; v 1265
650 _aLogic programming
942 _cBK
999 _c109444
_d109444