000 00741nam a2200265Ia 4500
003 OSt
005 20220912144840.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a72535
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(R1), M7
100 _aSnyers Dominique
245 0 _aFrom logic design to logic programming
260 _aBerlin
_bSpringer-Verlag
_c1987
300 _a125p.
_ccm.
490 _aLecture Notes in Computer Science; 271
650 _aComputer science
700 _a Thayse Andre
942 _hD65,8(B):(R1), M7
_cTEXL
_2CC
999 _c17178
_d17178