Documenti analoghi: 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 /
Soggetto: Lógica Matemática
Soggetto: Inteligencia Artificial
- Neural systems for control /
- Foundations of neuro-fuzzy systems /
- Things that Make Us Smart : Defending Human Atributes in the Age of the Machine /
- Geomundo : abril 1994 /
- Cybernetics : Or Control and Communication in the Animal and the Machine /
- Heuristics : intelligent search strategies for computer problem solving /