Artículos con más ediciones
Abajo se muestran hasta 22 resultados entre el n.º 1 y el n.º 22.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- Relación 3 (23 revisiones)
- Relación 4 (15 revisiones)
- Documentación (11 revisiones)
- Temas (7 revisiones)
- Ejercicios (7 revisiones)
- Tema 2: Programación funcional en Isabelle (6 revisiones)
- Relación 2 (5 revisiones)
- Relación 1 (5 revisiones)
- DAO2012 (Demostración asistida por ordenador) (4 revisiones)
- Rel 4 (4 revisiones)
- Tema 3: Razonamiento sobre programas (4 revisiones)
- Tema 3: El lenguaje de demostracion Isar (4 revisiones)
- Rel 1 (3 revisiones)
- Rel 2 (3 revisiones)
- Tema 4: Distinción de casos e inducción (3 revisiones)
- Rel 3 (3 revisiones)
- Tema 2: Isabelle como un lenguaje funcional (3 revisiones)
- Tema 6: Heurísticas para la inducción y recursión general (2 revisiones)
- Tema 5: Patrones de demostración (2 revisiones)
- Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL (2 revisiones)
- Tema 4: Deducción natural proposicional con Isabelle/HOL (2 revisiones)
- Página Principal (1 revisión)
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).