Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
México, D. F. :
Alfaomega Grupo Editor,
c2010.
Ra-Ma, |
| Subjects: | |
| Notas Contenido: |
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 000055210 | ||
| 003 | CO-BoSNA | ||
| 005 | 20260107154636.0 | ||
| 008 | 120223t2010^^^^mx^a^^^fr^^^^^001^0^spa^d | ||
| 020 | |a 9786077854333 | ||
| 040 | |a CO-BoSNA |b spa | ||
| 041 | 0 | |a spa | |
| 082 | 0 | 4 | |a 005.131 |b L473l |2 23 |
| 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. |
| 260 | |a México, D. F. : |b Alfaomega Grupo Editor, |b Ra-Ma, |c c2010. | ||
| 300 | |a 177 páginas : |b ilustraciones ; |c 23 cm. + |e 1 cd-rom | ||
| 504 | |a Incluye referencias bibliográficas e índice alfabético | ||
| 505 | 0 | |a Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Definiciones y demostraciones inductivas -- Adecuación de las tablas analíticas -- Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden | |
| 650 | 1 | 7 | |a Lenguajes de programación (Computadores electrónicos) |2 Armarc |
| 650 | 1 | 7 | |a Lógica simbólica y matemática |2 Armarc |
| 650 | 1 | 7 | |a Lógica de primer orden |2 Armarc |
| 952 | |0 0 |1 0 |4 5 |6 005_101000000000000_L473L |7 0 |8 GENER |9 248947 |a 05053 |b 05053 |d 2011-12-26 |i 142702 |l 0 |o 005.101 L473l |p O53062020915 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK |z Calle 104 No. 69-120, Medellín | ||
| 952 | |0 0 |1 0 |4 5 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248948 |a 19307 |b 19307 |d 2015-10-13 |i 136463 |l 0 |o 005.131 L473l |p 199307000505 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK |z Calle 4 No. 2-80, Popayán | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248949 |a 25511 |b 25511 |d 2012-12-04 |i 113121 |l 0 |o 005.131 L473l |p 951110000043 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK |z Cra. 10#30-04B. Girardot. | ||
| 952 | |0 0 |1 0 |4 5 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248950 |a 68545 |b 68545 |d 2013-04-25 |i 185970 |l 0 |o 005.131 L473l |p 689545000309 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK |z Cra. 11 No. 13-13, Málaga | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248951 |a 73226 |b 73226 |d 2014-05-29 |i 126657 |l 0 |o 005.131 L473l |p 732260000107 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK |z Cra. 45 Sur No. 141-05, Ibagué | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248952 |a 73226 |b 73226 |d 2015-11-04 |i 2833 |l 0 |o 005.131 L473l |p 732260000542 |r 2026-01-07 15:46:36 |t Ej. 3 |w 2026-01-07 |y BOOK |z Cra. 45 Sur No. 141-05, Ibagué | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248953 |a 73226 |b 73226 |d 2014-09-16 |i 135289 |l 0 |o 005.131 L473l |p 732260000143 |r 2026-01-07 15:46:36 |t Ej. 2 |w 2026-01-07 |y BOOK |z Cra. 45 Sur No. 141-05, Ibagué | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248954 |a 73310 |b 73310 |d 2014-03-31 |l 0 |o 005.131 L473l |p 733100006725 |r 2026-01-07 15:46:36 |t Ej. 1 |w 2026-01-07 |y BOOK | ||
| 952 | |0 0 |1 0 |4 4 |6 005_131000000000000_L473L |7 0 |8 GENER |9 248955 |a 73310 |b 73310 |d 2014-03-31 |l 0 |o 005.131 L473l |p 733100006726 |r 2026-01-07 15:46:36 |t Ej. 2 |w 2026-01-07 |y BOOK |z Transversal 1 No. 42 - 244 Ibague | ||
| 999 | |c 51207 |d 51207 | ||
| 942 | |6 005_131000000000000__L473L | ||