|
|
|
|
| LEADER |
00779nam a2200205 u 4500 |
| 001 |
000055084 |
| 005 |
.0 |
| 008 |
971119s1992 bl ||||| por |
| 035 |
|
|
|a 1482183
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a por
|
| 082 |
0 |
|
|a 005.133
|b S725A
|2 00
|
| 100 |
1 |
|
|a Souza, Luiz Fernando Pereira de
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Uma automacao de logica temporal /
|c Luiz Fernando Pereira de Souza, Sheila Regina Murgel Veloso
|
| 260 |
|
|
|a Rio de Janeiro :
|b Universidad Federal do Rio de Janeiro,
|c 1992.
|
| 300 |
|
|
|a [15] hojas :
|b ilustraciones
|
| 650 |
|
|
|a PROGRAMACION (COMPUTADORAS ELECTRONICAS)
|
| 650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 700 |
1 |
|
|a Veloso, Sheila Regina Murgel
|e Autor/a
|4 aut
|
| 916 |
|
|
|a Centro Catalográfico
|