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