Páginas largas
Abajo se muestran hasta 20 resultados entre el n.º 1 y el n.º 20.
Ver (20 anteriores | 20 siguientes) (20 | 50 | 100 | 250 | 500).
- (hist.) Tema 6c: Deducción natural proposicional con Isabelle/HOL [36 643 bytes]
- (hist.) R8 [31 633 bytes]
- (hist.) Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL [27 971 bytes]
- (hist.) Tema 2b: Razonamiento sobre programas con Isabelle/HOL [20 311 bytes]
- (hist.) Tema 7c: Deducción natural en lógica de primer orden con Isabelle/HOL [20 257 bytes]
- (hist.) Documentación [14 726 bytes]
- (hist.) R9 [13 824 bytes]
- (hist.) Tema 4: Razonamiento por casos y por inducción [13 366 bytes]
- (hist.) Tema 5: Razonamiento sobre árboles y bosques [12 779 bytes]
- (hist.) El problema SAT en Haskell [12 372 bytes]
- (hist.) Tema 11: Verificación de la ordenación por inserción [12 369 bytes]
- (hist.) El algoritmo de Davis-Putnam en Haskell [12 233 bytes]
- (hist.) R7 [10 874 bytes]
- (hist.) Tema 10: Caso de estudio: Compilación de expresiones [9221 bytes]
- (hist.) Tema 1: Programación funcional en Isabelle [9191 bytes]
- (hist.) R6 [8371 bytes]
- (hist.) R4 [7401 bytes]
- (hist.) R5 [6942 bytes]
- (hist.) Reducción de SAT a Clique en Haskell [6483 bytes]
- (hist.) R10 [5962 bytes]
Ver (20 anteriores | 20 siguientes) (20 | 50 | 100 | 250 | 500).