Lógica par la computación: teorías de primer orden, resolución y elementos de programación lógica y prolog.
Tipo de material: TextoIdioma: Español Detalles de publicación: México D.F. Alfaomega 2010Descripción: 177 páginasISBN:- 9786077854333
- 511.3 L473l
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|
Libros | Biblioteca de la Facultad de la Energía, las Industrias y los Recursos Naturales no Renovables | 511.3 L473l (Navegar estantería(Abre debajo)) | Disponible | BFEIRNNR4001247 |