La lógica como lenguaje de programación : aspectos declarativos y procedurales
Material type:
TextSeries: Libros de CátedraPublication details: La Plata : Edulp, 2023Description: 89 p. : ilISBN: - 9789503423400
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.1.6 SMI (Browse shelf(Opens below)) | Checked out | 10/04/2025 | DIF-05349 | |||
|
Libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | Link to resource | Recurso en Línea | ||||
|
Libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | Link to resource | Recurso en Línea |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.1.6 LLO Foundations of logic programming | D.1.6 LLO Foundations of logic programming | D.1.6 LLO Foundations of logic programming | D.1.6 SMI La lógica como lenguaje de programación : aspectos declarativos y procedurales | D.1.6 TAY Parallel logic programming techniques | D.1.6 VID Programación lógica y funcional | D.1.6 VID Programación lógica y funcional |
Copia impresa de libro digital
Introducción -- Capítulo 1 -- Determinación de satisfactibilidad en la lógica de enunciados -- Capítulo 2 -- Determinación de satisfactibilidad en la lógica de primer orden -- Capítulo 3 -- El enfoque orientado a modelos -- Capítulo 4 -- El enfoque orientado a pruebas -- Epílogo -- La autora
Click on an image to view it in the image viewer