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

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

1. Página principal‏‎ (22:05 15 oct 2018)
2. Razonamiento automático (2018-19)‏‎ (15:30 20 oct 2018)
3. Documentación"‏‎ (15:41 20 oct 2018)
4. Tema 1: Programación funcional en Isabelle‏‎ (20:55 7 nov 2018)
5. R1‏‎ (20:58 7 nov 2018)
6. Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL‏‎ (09:15 15 nov 2018)
7. R2‏‎ (09:17 15 nov 2018)
8. R3‏‎ (11:32 22 nov 2018)
9. Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL‏‎ (14:27 23 nov 2018)
10. Tema 4: Razonamiento por casos y por inducción‏‎ (14:38 29 nov 2018)
11. R4‏‎ (15:04 29 nov 2018)
12. Tema 5: Razonamiento sobre árboles y bosques‏‎ (15:21 13 dic 2018)
13. Tema 6a: Verificación de la ordenación por inserción‏‎ (15:28 13 dic 2018)
14. Tema 6b: Verificación de la ordenación por mezcla‏‎ (15:35 13 dic 2018)
15. R5‏‎ (08:59 14 dic 2018)
16. Tema 7b: Deducción natural proposicional con Isabelle/HOL‏‎ (20:24 9 ene 2019)
17. R6‏‎ (20:39 9 ene 2019)
18. Colaboraciones‏‎ (11:52 10 ene 2019)
19. Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL‏‎ (11:30 24 ene 2019)
20. R7‏‎ (11:40 24 ene 2019)

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