000 00688 a2200253 4500
001 ITTG7054
003 OSt
005 20250115011847.0
008 241215s 1995 |||||||||||||||||| #d
020 _a0-262-01152-2
040 _aITTG
_cITTG
041 _aspa
082 _a005.131 M47
245 _aMETA-LOGICS AND LOGIC PROGRAMMING/
_cEDITED BY K.R. APT AND F. TURINI.
260 _aCAMBRIDGE, MASS.:
_bMIT
_c\\\\
300 _aIV, 339 P.
_c22 CM.
500 _aINCLUYE BIBLIOGRAFIAS.
562 _e1
650 _a1.PROGRAMACION LOGICA.
650 _a2.LOGICA MATEMATICA.
700 _aAPT,KRZYSZTOF R.
700 _aTURINI, FRANCO.
942 _2ddc
_c1
_e20090813 14:23:31
999 _c6879
_d6879