Abajo se muestran hasta 22 resultados entre el n.º 1 y el n.º 22.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

1. (hist) ‎Temas ‎[340 bytes]
2. (hist) ‎Página Principal ‎[489 bytes]
3. (hist) ‎Ejercicios ‎[545 bytes]
4. (hist) ‎DAO2012 (Demostración asistida por ordenador) ‎[651 bytes]
5. (hist) ‎Documentación ‎[2565 bytes]
6. (hist) ‎Tema 5: Patrones de demostración ‎[3478 bytes]
7. (hist) ‎Rel 2 ‎[5054 bytes]
8. (hist) ‎Relación 2 ‎[5326 bytes]
9. (hist) ‎Rel 1 ‎[5367 bytes]
10. (hist) ‎Relación 1 ‎[5824 bytes]
11. (hist) ‎Rel 4 ‎[8779 bytes]
12. (hist) ‎Tema 2: Programación funcional en Isabelle ‎[9095 bytes]
13. (hist) ‎Tema 2: Isabelle como un lenguaje funcional ‎[9212 bytes]
14. (hist) ‎Tema 6: Heurísticas para la inducción y recursión general ‎[9527 bytes]
15. (hist) ‎Tema 3: Razonamiento sobre programas ‎[10 766 bytes]
16. (hist) ‎Tema 4: Distinción de casos e inducción ‎[10 811 bytes]
17. (hist) ‎Tema 3: El lenguaje de demostracion Isar ‎[12 224 bytes]
18. (hist) ‎Relación 4 ‎[12 962 bytes]
19. (hist) ‎Rel 3 ‎[17 759 bytes]
20. (hist) ‎Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL ‎[23 350 bytes]
21. (hist) ‎Tema 4: Deducción natural proposicional con Isabelle/HOL ‎[23 354 bytes]
22. (hist) ‎Relación 3 ‎[30 021 bytes]

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).