Vista normal
Vista MARC
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.
Tipo de material:
TextoSeries Computación. ProgramaciónDetalles de publicación: México, D.F. : Alfaomega : Ra-Ma, 2010.Edición: 1a edDescripción: 177 p. : il. ; 23 cmISBN: - 9786077854333
- 6077854336
- 9788478979387
- 8478979387
- Teorías de primer orden, resolución y elementos de programación lógica y prolog [Parte del título]
- QA 76.63 L43.2010
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 76.63 L43.2010 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | UIA032640 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA 76.625 W4418.1998 Programación en Web 6 en 1 / | QA 76.63 C47.1990 Logic programming and databases / | QA 76.63 C67.2002 Construccion lógica de programas : teoría y problemas resueltos / | QA 76.63 L43.2010 Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / | QA 76.63 T73.2017 Lógica de programación / | QA 76.63 T73.2017 Lógica de programación / | QA 76.64 B27.2007 Ruby by example : concepts and code / |
Bibliografía: p. [171]-174 e índice.
