| Inicial |
| Temas |
| Ejercicios |
| Documentación |
| Sistemas |
Sistemas usados en "Razonamiento automático" (2005-06) |
[ Inicial | Temas | Ejercicios | Documentación | Sistemas ] |
| José A. Alonso Jiménez |
| Grupo de Lógica Computacional |
| Dpto. de Ciencias de la Computación e Inteligencia Artificial |
| Universidad de Sevilla |
| Sevilla, 21-1-2022 |