Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG / Luis de Ledesma
Language: Spanish Publication details: México, D.F., México : Ra-Ma, 2010Edition: Primera ediciónDescription: 177 páginas ; ilustraciones ; 23 cmContent type:- texto
- sin mediación
- volumen
- 9786077854333
- 004.015 1 L4736l
| Item type | Current library | Call number | Copy number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Libros
|
MATRIZ | 004.015 1 L4736l (Browse shelf(Opens below)) | Ej.1 | Available | ESTANTERIA 5.D | 15399923 |
Browsing MATRIZ shelves Close shelf browser (Hides shelf browser)
| 004 T1641o Organización de computadoras : un enfoque estructurado / | 004 T2559t Tecnologías de la información / | 004 V145e El Proceso Digital de la Imagen con Photoshop CS2 / | 004.015 1 L4736l Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG / | 004.015 1 L687l Lógica matemática para informáticos : ejercicios resueltos / | 004.0151 G569a Administración avanzada de sistemas informáticos / | 004.028 8 C415e El libro del portátil / |
Incluye índice.
Incluye bibliografía.
Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.
There are no comments on this title.