Lista de

Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq
1
Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq (2004). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación