Razonamiento automático (2016-17)
Razonamiento automático (2016-17)
Navegación
Página principal
Temas
Ejercicios
Documentación
Diario
Twitter
GitHub
Cambios recientes
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Diferencia entre revisiones de «Temas»
De Razonamiento automático (2016-17)
Revisión del 19:06 24 oct 2016
(
ver código
)
Jalonso
(
discusión
|
contribuciones
)
← Edición anterior
Revisión del 19:07 24 oct 2016
(
ver código
)
Jalonso
(
discusión
|
contribuciones
)
m
(Protegió «
Temas
» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
Edición siguiente →
(Sin diferencias)
Revisión del 19:07 24 oct 2016
Temas de
Razonamiento automático (2016-17)
Tema 1: Programación funcional en Isabelle
.