Lógica para la Inteligencia Artificial
2005·filosofia
Este manual ofrece una introducción detallada a la lógica proposicional y de primer orden, así como a las estrategias de razonamiento automático, enfocándose en su aplicación en inteligencia artificial y programación lógica.