Logic for Computer Science and Artificial Intelligence
2011·no ficcion
Este texto aborda la lógica y sus componentes (proposicional, de primer orden, no clásica) como elementos clave en la informática y la inteligencia artificial, cubriendo métodos de tableros, resolución, programación lógica y la traducción de lógicas no clásicas.