|
|
|
|
| LEADER |
01500nam a2200325 i 4500 |
| 007 |
ta |
| 008 |
130628s2010 mx ||||g| | 00| ||spa d |
| 020 |
|
|
|a 978-607-7854-33-3
|
| 035 |
|
|
|a 142545
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Panamá
|
| 041 |
0 |
|
|h spa
|
| 082 |
0 |
4 |
|a 005.115
|b L49
|2 21
|
| 100 |
1 |
|
|a Ledesma, Luis de
|
| 245 |
1 |
0 |
|a Lógica para la computación :
|b teorías de primer orden, resolución y elementos de programación lógica y prolog /
|c Luis de Ledesma. --
|
| 250 |
|
|
|a 1a. ed. --
|
| 260 |
|
|
|a México, D. F. :
|b Alfaomega Grupo Editor ; Madrid, España : RA-MA,
|c 2010.
|
| 300 |
|
|
|a 177 p. :
|b il. ;
|c 23 cm. --
|
| 490 |
0 |
|
|a (Computación ; Programación)
|
| 650 |
|
7 |
|a LOGICA DE PRIMER ORDEN
|2 LEMB
|
| 650 |
|
7 |
|a LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS DIGITALES)
|2 LEMB
|
| 650 |
|
7 |
|a PROGRAMACION LOGICA
|2 LEMB
|
| 650 |
|
7 |
|a PROLOG (LENGUAJE DE PROGRAMACION DE COMPUTADORES)
|2 LEMB
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA Y MATEMATICA
|2 LEMB
|
| 901 |
|
|
|a SF/ADER/ZM
|
| 900 |
|
|
|b Sección de Colección General
|a BISB /
|j 20555
|t e.1
|
| 900 |
|
|
|b Sección de Colección General
|a BISB /
|j 20556
|t e.2
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 109345
|d 109345
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_115000000000000_L49
|7 0
|8 CG
|9 202980
|a 10
|b 10
|c 10
|d 2014-01-22
|o 005.115 L49
|p 00001307
|r 2014-01-22
|t e.1
|w 2014-01-22
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_115000000000000_L49
|7 0
|8 CG
|9 202981
|a 10
|b 10
|c 10
|d 2014-01-22
|l 1
|o 005.115 L49
|p 00001308
|r 2017-03-21
|s 2017-03-21
|t e.2
|w 2014-01-22
|y BK
|