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 |
Bibliografía: p. [171]-174 e índice.
