Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo
Language: Spanish Publication details: Madrid, España : Pearson Prentice Hall, 2007Description: xxvi, 470 páginas ; ilustraciones ; 25 cmContent type:- texto
- sin mediación
- volumen
- 9788483223680
- 005.42 J945p
| Item type | Current library | Call number | Copy number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Libros
|
MATRIZ | 005.42 J945p (Browse shelf(Opens below)) | Ej.1 | Available | ESTANTERIA 3.A | 15397958 |
Browsing MATRIZ shelves Close shelf browser (Hides shelf browser)
| 005.369 T625w Windows 2000 : | 005.4 R7414s Sistema integrado de investigación, desarrollo tecnológico e innovación de la UEB (SIDETI-UEB) / | 005.4 S669p Paradox 5.0 para Windows a su alcance / | 005.42 J945p Programación lógica : teoría y práctica / | 005.42 M6121c Construcción de software orientado a objetos / | 005.42 P649e 23 Ejercicios Profesionales con Adobe Flash / | 005.426 F394s SPSS para windows : |
Incluye índice.
Incluye bibliografía.
Una panorámica de la programación declaratoria -- Fundamentos -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica (I): introducción y métodos semánticos -- De la demostración automática a la programación lógica (II): -- el principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Aplicaciones de la programación lógica -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas -- Índice de figuras -- Índice de tablas -- Prólogo...
There are no comments on this title.