META-LOGICS AND LOGIC PROGRAMMING
APT,KRZYSZTOF R.
TURINI, FRANCO.
CAMBRIDGE, MASS
MIT
\\\\
spa
IV, 339 P. 22 CM.
EDITED BY K.R. APT AND F. TURINI.
INCLUYE BIBLIOGRAFIAS.
1
1.PROGRAMACION LOGICA
2.LOGICA MATEMATICA
005.131 M47
0-262-01152-2
ITTG
241215
20250115011847.0
ITTG7054