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 | Reserva de ítems |
---|---|---|---|---|---|---|
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 |
Total de reservas: 0
Navegando Biblioteca de la Facultad de la Energía, las Industrias y los Recursos Naturales no Renovables estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
511.3 H791i Introducción a la teoría de autómatas lenguajes y computación. | 511.3 H821L Lógica matemática para informáticos. | 511.3 I431m Métodos númericos: | 511.3 L473l Lógica par la computación: | 511.8 C112m Ejemplar1 Matemáticas discreta para informáticos: | 511.8 C112m Ejemplar2 Matemáticas discreta para informáticos: ejercicios resueltos. | 511.8 C579m Matemáticas financieras. |