Artículos con más ediciones
Abajo se muestran hasta 44 resultados entre el n.º 1 y el n.º 44.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- Relación 1 (73 revisiones)
- Relación 6 (52 revisiones)
- Relación 2 (42 revisiones)
- Relación 3 (39 revisiones)
- Relación 4 (36 revisiones)
- Relación 5 (35 revisiones)
- Relación 7 (26 revisiones)
- Temas (21 revisiones)
- Relación 8 (21 revisiones)
- Documentación (16 revisiones)
- Ejercicios (15 revisiones)
- Sistemas (10 revisiones)
- Tema 9: Editores lógicos (9 revisiones)
- Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (4 revisiones)
- Colaboraciones (3 revisiones)
- Tema 4: Polimorfismo y funciones de orden superior en Coq (3 revisiones)
- Razonamiento automático (2018-19) (3 revisiones)
- Tema 2: Demostraciones por inducción sobre los números naturales en Coq (2 revisiones)
- R8 (2 revisiones)
- Tema 12: Conjuntos, funciones y relaciones (2 revisiones)
- Tema 3: Datos estructurados en Coq (2 revisiones)
- Tema 11: Definiciones inductivas (2 revisiones)
- Tema 10: Caso de estudio: Compilación de expresiones (2 revisiones)
- Tema 5: Tácticas básicas de Coq (2 revisiones)
- Tema 6: Lógica en Coq (2 revisiones)
- R7 (2 revisiones)
- Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (2 revisiones)
- Tema 7: Definiciones inductivas en Coq (2 revisiones)
- R6 (2 revisiones)
- R5 (2 revisiones)
- Tema 6a: Verificación de la ordenación por inserción (2 revisiones)
- R4 (2 revisiones)
- R3 (2 revisiones)
- Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (2 revisiones)
- Tema 1: Programación funcional en Isabelle (2 revisiones)
- Documentación" (2 revisiones)
- Tema 7b: Deducción natural proposicional con Isabelle/HOL (1 revisión)
- Tema 6b: Verificación de la ordenación por mezcla (1 revisión)
- Tema 5: Razonamiento sobre árboles y bosques (1 revisión)
- Tema 4: Razonamiento por casos y por inducción (1 revisión)
- Tema 1: Programación funcional y métodos elementales de demostración en Coq (1 revisión)
- R2 (1 revisión)
- R1 (1 revisión)
- Página principal (1 revisión)
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).