Ähnliche Einträge: 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 /
- Metodología de la modelación en red del Slam aplicada a la simulación de plantas de procesamientos por lotes /
- Máquinas y diagramas lógicos /
- Computación y Conocimiento /
- Aprendizaje automático : un enfoque práctico /