Lógica
inco
|
fing
|
udelar
Untitled
Curso
Principal
Cartelera
Horarios
Docentes
Programa
Bibliografía
Resultados
Material
Teórico
Práctico
Ejemplos
Parciales
Notas
Otros Recursos
Artículos
Software
Utilitarios
Links
Curso 2011
Cartelera 2011
Asistente para Pruebas COQ
Documentos útiles.
Alguna nota para arrancar con COQ.
Manual de Instalación de COQ.
Archivo necesario para nuestras pruebas.
Manual explicativo de como hacer las pruebas.
Ejemplo para aclarar su funcionamiento.
Por mayor información, puedes visitar la página de
COQ.