
Lógica computacional
Autor: MartÍn Rubio, Fernando , Paniagua Aris, Enrique , SÁnchez GonzÁlez, Juan LuÍs
Número de Páginas: 215El 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.