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

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

1. (hist) ‎Tema 7b: Deducción natural proposicional con Isabelle/HOL ‎[25 253 bytes]
2. (hist) ‎Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL ‎[23 806 bytes]
3. (hist) ‎Relación 4 ‎[22 342 bytes]
4. (hist) ‎Relación 5 ‎[20 217 bytes]
5. (hist) ‎Tema 4: Razonamiento por casos y por inducción ‎[17 473 bytes]
6. (hist) ‎Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL ‎[16 095 bytes]
7. (hist) ‎Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎[13 938 bytes]
8. (hist) ‎Tema 6a: Verificación de la ordenación por inserción ‎[10 657 bytes]
9. (hist) ‎Relación 1 ‎[10 110 bytes]
10. (hist) ‎Relación 3 ‎[9577 bytes]
11. (hist) ‎Tema 1: Programación funcional en Isabelle ‎[9045 bytes]
12. (hist) ‎Relación 7 ‎[9033 bytes]
13. (hist) ‎Documentación ‎[8694 bytes]
14. (hist) ‎Tema 9: Caso de estudio: Compilación de expresiones ‎[8568 bytes]
15. (hist) ‎Tema 5: Razonamiento sobre árboles y bosques ‎[8368 bytes]
16. (hist) ‎Relación 6 ‎[8314 bytes]
17. (hist) ‎R4 ‎[7365 bytes]
18. (hist) ‎Tema 6b: Verificación de la ordenación por mezcla ‎[7297 bytes]
19. (hist) ‎R5 ‎[7077 bytes]
20. (hist) ‎Relación 2 ‎[5557 bytes]
21. (hist) ‎R6 ‎[5386 bytes]
22. (hist) ‎R3 ‎[5269 bytes]
23. (hist) ‎R1 ‎[5176 bytes]
24. (hist) ‎R2 ‎[3525 bytes]
25. (hist) ‎R7 ‎[2794 bytes]
26. (hist) ‎Temas ‎[1909 bytes]
27. (hist) ‎Colaboraciones ‎[1759 bytes]
28. (hist) ‎Ejercicios ‎[760 bytes]
29. (hist) ‎Razonamiento automático (2017-18) ‎[583 bytes]
30. (hist) ‎Sistemas ‎[503 bytes]
31. (hist) ‎Página Principal ‎[489 bytes]

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