|
Razonamiento Automático (2023-24) |
|
| Temas |
| Ejercicios |
| Sistemas |
| Documentación |
| Trabajos |
| Entrar |
Sistemas de razonamiento automático utilizados en la asignatura
Otter
- Página oficial de Otter.
- Manual de referencia
ACL2
- Página oficial de ACL2.
Isabelle
- Página oficial de Isabelle.
- Documentación del sistema