|
|
|
|
| LEADER |
00895nam a2200265 u 4500 |
| 001 |
000134500 |
| 005 |
20200807073021.0 |
| 008 |
970716s1997 xxu ||||| eng |
| 020 |
|
|
|a 0387948937
|
| 035 |
|
|
|a 977573
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 005.131
|b N451L2
|2 00
|
| 100 |
1 |
|
|a Nerode, Anil
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Logic for applications /
|c Anil Nerode, Richard A. Shore.
|
| 250 |
|
|
|a 2. edition --
|
| 260 |
|
|
|a New York, New York :
|b Springer,
|c c1997.
|
| 300 |
|
|
|a xiii, 456 páginas :
|b ilustraciones.
|
| 650 |
0 |
7 |
|a PROLOG (LENGUAJE DE PROGRAMACION PARA COMPUTADORA)
|
| 650 |
0 |
7 |
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 650 |
0 |
7 |
|a CIENCIAS DE LA COMPUTACION
|
| 650 |
0 |
7 |
|v MODELOS MATEMATICOS
|
| 700 |
1 |
|
|a Shore, Richard A
|d 1946-
|e Autor/a
|
| 912 |
|
|
|a 29-JUL-2008 - GARRIDO CORDERO, IRINA
|
| 916 |
|
|
|a Centro Catalográfico
|