Registro:
| Documento: | Programa de la asignatura |
| Idioma: | Español |
| Formato: | PDF |
| Nombre de la asignatura: | Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq |
| Docente/s a cargo: | Szasz, Nora |
| Departamento: | Departamento de Computación |
| Duración: | cuatrimestral
|
| Momento de dictado: | primero
|
| Código y nombre de asignatura en Guaraní: | COMP930058: Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq |
| Handle: |
http://hdl.handle.net/20.500.12110/programa_nCOM200411 |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/programa/programa_nCOM200411.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/programa/document/programa_nCOM200411 |
| Ubicación: | COM 2004 11 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Programa de la asignatura : Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de http://hdl.handle.net/20.500.12110/programa_nCOM200411 |
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/programa/programa_nCOM200411.pdf
