000 01088nam a2200313 a 4500
001 1151031
003 BD-ChPU
005 20130929102456.0
008 940818s1994 gw a b 001 0 eng d
010 _a95150665
020 _a978-1850321385
035 _a(OCoLC)30965183
040 _aARaS
_cARaS
_dDLC
_dBD-ChPU
_bENG
042 _alccopycat
050 0 0 _aQA76.63
_bD35 1994
082 _a006.33 DAH
100 1 _aDahr, Michael,
_d1963-
_97856
245 1 0 _a Deductive databases :
_bTheory and Applications /
_cMichael Dahr.
260 _aNew York :
_bInternational thomson computer press ,
_c1997.
300 _axi, 140 p. :
_bill. ;
_c21 cm.
504 _aIncludes bibliographical references (p. 131-136) and index.
526 _aCSE
650 0 _aLogic programming.
_97857
650 0 _aDeductive databases.
_97762
650 0 _aPetri nets.
_97858
906 _a7
_bcbc
_ccopycat
_du
_encip
_f19
_gy-gencatlg
942 _2ddc
_cBK
999 _c3554
_d3554