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:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 9786077854333
- 511.3 L473l
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
![]() |
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