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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолч:	Iranzo, Pascual Julián (autor)
Бусад зохиолчид:	Alpuente Frasnedo, María (autor) (autor)
Формат:	Ном
Хэл сонгох:	испани
Хэвлэсэн:	Madrid, España : Prentice-Hall, 2007, c2007
Нөхцлүүд:	Programación Lógica (Software) - > Tema Principal Programación (Software) Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!