Sistema demostrativo de razonamiento automático basado en resolución /
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Tesis Bog |
| Sprog: | spansk |
| Udgivet: |
Guadalajara, México :
edición de autor,
1995
|
| Fag: | |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Sistema demostrativo de razonamiento automático basado en resolución /
- Sistemas de Razonamiento Automático Basado en Resolución /
- Symbolic Logic and Mechanical Theorem Proving /
- Máquinas y diagramas lógicos /
- Metodología de la modelación en red del Slam aplicada a la simulación de plantas de procesamientos por lotes /
- Computación y Conocimiento /
- Aprendizaje automático : un enfoque práctico /