Những quyển sách tương tự: Máquinas y diagramas lógicos /
- Lógica computacional /
- Juegos lógicos en el mundo de la inteligencia artificial /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- Sistemas de Razonamiento Automático Basado en Resolución /
- Sistema demostrativo de razonamiento automático basado en resolución /
- Symbolic Logic and Mechanical Theorem Proving /
Đề tài: Lógica Matemática
- Sistemas de Razonamiento Automático Basado en Resolución /
- Sistema demostrativo de razonamiento automático basado en resolución /
- Cibernética sin matemáticas /
- Introducción a la Lógica : Y a la Metodología de las Ciencias Deductivas /
- El Análisis Matemático de la Lógica /
- De la Logique á L'Argumentation /
Đề tài: Inteligencia Artificial
- 2001 : una odisea espacial /
- Modelado y simulación de la homeostasis de la glucosa sanguínea /
- Sistemas de Razonamiento Automático Basado en Resolución /
- La Aplicación de la simulación por computadora para aumentar la producción en una industria del calzado /
- Sistema de visión en la inteligencia artificial /
- Sistema demostrativo de razonamiento automático basado en resolución /
Tác giả: Gardner, Martin
- El ordenador como científico : y otros ensayos sobre fantasía y ciencia /
- Mathematical Puzzles of Sam Loyd /
- La explosión de la relatividad /
- El escarabajo sagrado : y otros grandes ensayos sobre la ciencia : tomo 1 /
- El escarabajo sagrado : y otros grandes ensayos sobre la ciencia : tomo 2 /
- Mathematics magic and mystery.