00431nam a2200169Ia 450000100060000000300040000600500170001000800410002702000180006804000130008608200190009910000220011824500640014026000390020430000110024354600070025422182OSt20190212110544.0140409s9999    xx            000 0 und d  a0-201-56897-7  cPK-LaUMT  a 005.74bDAS-D  aSubrata Kumar Das  aDeduction databses and logic programmingcSubrata Kumar Das  aBoston,USA:bAddison-Wesley,c1992  a432 p.  aEN