DAO con Coq DAO con Coq

  • Página principal
  • Cambios recientes
  • Página aleatoria
  • Ayuda
  • Páginas especiales
  • Versión para imprimir
  • Acceder
  • DAO con Coq
  • Página principal
  • Cambios recientes
  • Página aleatoria
  • Ayuda
  • Páginas especiales
  • Versión para imprimir
 Acciones
  • Página especial

Especial

Artículos con más ediciones

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

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

  1. Tema 1: Programación funcional y métodos elementales de demostración en Coq‏‎ (19 revisiones)
  2. Demostración Asistida por Ordenador con Coq‏‎ (7 revisiones)
  3. Página principal‏‎ (7 revisiones)
  4. Tema 5: Tácticas básicas de Coq‏‎ (5 revisiones)
  5. Tema 2: Demostraciones por inducción sobre los números naturales en Coq‏‎ (4 revisiones)
  6. Tema 6: Lógica en Coq‏‎ (3 revisiones)
  7. Tema 3: Datos estructurados en Coq‏‎ (2 revisiones)
  8. Tema 4: Polimorfismo y funciones de orden superior en Coq‏‎ (2 revisiones)
  9. Acerca de‏‎ (1 revisión)

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

Obtenido de «https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Especial:MásEdiciones»
  • Normativa de privacidad
  • Acerca de DAO con Coq
  • Exoneraciones
  • Powered by MediaWiki