|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000054375 |
| 003 |
CO-BoSNA |
| 005 |
20260107154447.0 |
| 008 |
051017s2007^^^^sp^a^^^frt^^^^000^0^spa^d |
| 020 |
|
|
|a 9788483223680
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
4 |
|a 005.1
|b I652p
|2 23
|
| 100 |
1 |
|
|a Iranzo, Pascual Julián
|
| 245 |
1 |
0 |
|a Programación lógica :
|b teoría y práctica /
|c Pascual Julián Iranzo, María Alpuente Frasnedo.
|
| 260 |
|
|
|a Madrid :
|b Pearson Educación,
|c 2007.
|
| 300 |
|
|
|a xxvi, 470 páginas :
|b ilustraciones ;
|c 26 cm.
|
| 505 |
0 |
|
|a Una panorámica de la programación declarativa -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica: introducción y métodos semánticos -- El principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Representación del conocimiento -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas
|
| 650 |
1 |
7 |
|a Programación (Computadores electrónicos)
|x Fundamentos
|2 Armarc
|
| 650 |
1 |
7 |
|a Lenguajes de programación (Computadores electrónicos)
|2 Armarc
|
| 650 |
1 |
7 |
|a Programación estructurada
|2 Armarc
|
| 700 |
1 |
|
|a Alpuente Frasnedo, María
|
| 952 |
|
|
|0 0
|1 0
|4 2
|6 005_100000000000000_I652P
|7 0
|8 GENER
|9 243483
|a 11211
|b 11211
|d 2011-11-10
|i 119910
|l 0
|o 005.1 I652p
|p 119211008392
|r 2026-01-07 15:44:47
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá
|
| 952 |
|
|
|0 0
|1 0
|4 4
|6 005_100000000000000_I652P
|7 0
|8 GENER
|9 243484
|a 11211
|b 11211
|d 2011-11-10
|i 119910
|l 0
|o 005.1 I652p
|p 119211008395
|r 2026-01-07 15:44:47
|t Ej. 2
|w 2026-01-07
|y BOOK
|z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_100000000000000_I652P
|7 0
|8 GENER
|9 243485
|a 11217
|b 11217
|d 2014-07-29
|i 126258
|l 0
|o 005.1 I652p
|p 119217000121
|r 2026-01-07 15:44:47
|t Ej.1
|w 2026-01-07
|y BOOK
|z Cra. 31 No. 15-42, Bogotá
|
| 952 |
|
|
|0 0
|1 0
|4 4
|6 005_100000000000000_I652P
|7 0
|8 GENER
|9 243486
|a 44524
|b 44524
|d 2014-09-22
|i 166628
|l 0
|o 005.1 I652p
|p 44524000012
|r 2026-01-07 15:44:47
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Km. 1 Vía Barrancas, Fonseca
|
| 952 |
|
|
|0 0
|1 0
|4 4
|6 005_100000000000000_I652P
|7 0
|8 GENER
|9 243487
|a 44524
|b 44524
|d 2014-09-22
|i 166628
|l 0
|o 005.1 I652p
|p 44524000013
|r 2026-01-07 15:44:47
|t Ej. 2
|w 2026-01-07
|y BOOK
|z Km. 1 Vía Barrancas, Fonseca
|
| 999 |
|
|
|c 50372
|d 50372
|
| 942 |
|
|
|6 005_100000000000000__I652P
|