Buscar
Mostrando ítems 1-6 de 6
Libro
Libro
Libro
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
Libro
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
(Kronos, 2002)
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción ...