Artículos con más ediciones
Abajo se muestran hasta 20 resultados entre el n.º 1 y el n.º 20.
Ver (20 anteriores | siguientes 20) (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)
- R3 (2 revisiones)
- Tema 7: Definiciones inductivas en Coq (2 revisiones)
- Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (2 revisiones)
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).