|
|
|
|
LEADER |
00751nam a2200217 u 4500 |
001 |
000147753 |
005 |
20000427102541.0 |
008 |
991026s1992 ne ||||| eng |
035 |
|
|
|a 5726093
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 005.131
|b O48n
|2 20
|
100 |
1 |
|
|a Olivetti, Nicola
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a N-Prolog and equivalence of logic programs /
|c Nicola Olivetti and Lea Terracini
|
260 |
|
|
|a Netherlands :
|b Kluwer Academic,
|c c1992.
|
300 |
|
|
|a páginas 253-340
|
650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
650 |
|
|
|a PROGRAMACION (COMPUTADORAS ELECTRONICAS)
|
700 |
1 |
|
|a Terracini, Lea
|e Autor/a
|4 aut
|
912 |
|
|
|a 27-APR-2000 - ROJAS SOTO, ANA EUDITH
|
916 |
|
|
|a Centro Catalográfico
|