Programación lógica : teoría y práctica /

Contenido: 1. Una panorámica de la programación declarativa; 2. Sistemas formales, lógica y lenguajes de programación; 3. De la demostración automática a la programación lógica (I): introducción y métodos semánticos; 4. De la demostración automática a la programación lógica (II): el principio de res...

Volledige beschrijving

Bibliografische gegevens

Hoofdauteur:	Iranzo, Pascual Julián (autor)
Andere auteurs:	Alpuente Frasnedo, María (autor) (autor)
Formaat:	Boek
Taal:	Spaans
Gepubliceerd in:	Madrid, España : Prentice-Hall, 2007, c2007
Onderwerpen:	Programación Lógica (Software) - > Tema Principal Programación (Software) Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!