Image from Google Jackets

Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo

By: Contributor(s): Language: Spanish Publication details: Madrid, España : Pearson Prentice Hall, 2007Description: xxvi, 470 páginas ; ilustraciones ; 25 cmContent type:
  • texto
Media type:
  • sin mediación
Carrier type:
  • volumen
ISBN:
  • 9788483223680
Subject(s): DDC classification:
  • 005.42  J945p
Contents:
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...
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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

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.

to post a comment.
Share