000 00679nam a2200253Ia 4500
003 OSt
005 20220912151541.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a36173
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(R1), N3
100 _aLalemant Rene
245 0 _aComputation as logic
260 _aParis
_bMasson
_c1993
300 _a387p.
_ccm.
490 _aPrentice Hall international series in computer science
650 _aLogic programming
942 _hD65,8(B):(R1), N3
_cTEXL
_2CC
999 _c71058
_d71058