Sistemas de Razonamiento Automático Basado en Resolución /
| Autor principal: | |
|---|---|
| Formato: | Tesis Libro |
| Idioma: | Español |
| Publicado: |
Guadalajara, México :
edición de autor,
1993
|
| Temas: |
Ejemplares similares: Sistemas de Razonamiento Automático Basado en Resolución /
- Sistema demostrativo de razonamiento automático basado en resolución /
- Detección de errores en configuraciones de servidores cognitivos mediante modelos de clasificación basados en árboles de decisión /
- Metodología de la modelación en red del Slam aplicada a la simulación de plantas de procesamientos por lotes /
- Symbolic Logic and Mechanical Theorem Proving /
- Máquinas y diagramas lógicos /
- Computación y Conocimiento /