Search
Now showing items 81-81 of 81
Book
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 ...