Lógica computacional
El libro recoge los tres componentes de un Sistema Lógico: el sintáctico, el interpretativo y el axiomático para llegar al desarrollo de los métodos de razonamiento automático, componente esencial de los Sistemas Inteligentes
인쇄본, Spanish, 2003
Thomson/Paraninfo, Madrid, 2003