Lógica para la computación teorías de primer orden, resolución y elementos de programación lógica y prolog
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
México, D.F. :
Alfaomega : Ra-Ma,
2010.
|
| Edición: | Primera edición. |
| Colección: | Computación. Programación
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000cam a22000004i 4500 | ||
|---|---|---|---|
| 003 | PE-LiUPU | ||
| 005 | 20260715193556.0 | ||
| 008 | 100611s2010 mx a rb 000 0 spa d | ||
| 020 | |a 6077854336 | ||
| 020 | |a 8478979387 | ||
| 020 | |a 9786077854333 | ||
| 020 | |a 9788478979387 | ||
| 035 | |a (Sirsi) i9786077854333 | ||
| 040 | |a UIA |b spa |c UIA |d PE-LiUPU |e rda | ||
| 049 | |a PRUA | ||
| 082 | 0 | 4 | |a 004.42 |b L36 2010 |
| 100 | 1 | |a Ledesma, Luis de, |e autor. | |
| 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 Primera edición. | ||
| 264 | 1 | |a México, D.F. : |b Alfaomega : |b Ra-Ma, |c 2010. | |
| 300 | |a 177 páginas : |b ilustraciones ; |c 23 centímetros. | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 490 | 1 | |a Computación. Programación | |
| 504 | |a Bibliografía : página 171-174. | ||
| 505 | 0 | |a Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndice A: Definiciones y demostraciones inductivas -- Apéndice B: Adecuación de las tablas analíticas -- Apéndice C: Consideraciones elementales sobre la representación el conocimiento con lenguajes de primer orden. | |
| 650 | 4 | |a Lógica de primer orden. | |
| 650 | 4 | |a Programación lógica. | |
| 650 | 4 | |a PROLOG (Lenguaje de programación). | |
| 910 | |b tqv |c welc |d 20161018 | ||
| 942 | |2 Dewey Decimal Classification |c Libro | ||
| 949 | |a 004.42 L36 2010 |w DEWEY |c 1 |i FJ02991 |l GEN |m BUJ |p 14.20 |r 0 |s Y |t BK |u 2016-10-18 |z P27 |0 COMPRA |o .STAFF. Colección General Juliaca | ||
| 994 | |a C0 |b PEPRU | ||
| 596 | |a 3 | ||
| 999 | |a 004.42 L36 2010 |w DEWEY |c 36318 |i FJ02991 |d 36318 |e 2017-5-5 |f 2019-11-18 |g 3 |l GEN |m BUJ |n 1 |p 14.20 |q 3 |r 0 |s Y |t BK |u 2016-10-18 |z P27 |0 COMPRA |o .STAFF. Colección General Juliaca | ||
| 980 | |a CLI CLI |g CLI CLI | ||
| 952 | |0 No retirado |1 No perdido |2 Dewey Decimal Classification |4 No dañado |7 Disponible para préstamo |8 Colección General |a Biblioteca Juliaca |b Biblioteca Juliaca |c Sala principal |d 2016-10-18 |e COMPRA |i 3 |l 1 |o 004.42 L36 2010 |p FJ02991 |r 2018-11-27 00:00:00 |s 2017-05-05 |t 1 |y Libro | ||