Inicial
Temas
Ejercicios
Documentación
Sistemas
Ejercicios de "Razonamiento automático (2005-06)"
Ejercicios con OTTER/MACE:
Relación 1.
Relación 2.
Ejemplo de ejercicio resuelto.
Plantilla para los ejercicios.
Modo OTTER para Emacs.
[
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