Lógica para la computación: Teorias de primer orden, resolución y elementos de programación lógica y prolog/
Idioma: Español. Detalles de publicación: México: Alfaomega, 2009.Edición: 1 edDescripción: 177 páginas. ILustraciones + Figuras. 24 x 18 cmISBN:- 9786077854333
- 005.131 22 ed. L473
Contenidos:
1.Teorías de primer orden -- 2.Resolución -- 3.Elementos de programación lógica y prologo.
Tipo de ítem | Biblioteca actual | Colección | Signatura | URL | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libros General | BIBLIOTECA EDUARDO COTE LAMUS Sala 2 | Colección General | 005.131 L473 (Navegar estantería(Abre debajo)) | Enlace al recurso | C.1 | Disponible | 88765 | |
Libros General | BIBLIOTECA EDUARDO COTE LAMUS Sala 2 | Colección General | 005.131 L473 (Navegar estantería(Abre debajo)) | Enlace al recurso | C.2 | Disponible | 88764 |
.Incluye referencias bibliográficas
1.Teorías de primer orden -- 2.Resolución -- 3.Elementos de programación lógica y prologo.