Este libro explora los sistemas de deducción en el campo de la inteligencia artificial. Escrito por Kh Blasius y publicado por Prentice Hall Europe en 1989, el libro ofrece una visión detallada de los sistemas de deducción y su aplicación en la inteligencia artificial. Es una primera edición en tapa dura y cuenta con 238 páginas.