|
Lógica Matemática y Fundamentos (2021-22) |
|
| Temas |
| Ejercicios |
| Exámenes |
| Sistemas |
| Documentación |
| Entrar |
Sistemas de razonamiento automático utilizados en la asignatura
Isabelle
- Página oficial de Isabelle.
- Documentación del sistema