Fecha:"2004" |
Fecha:"2009" |
Fecha:"2013" |
Idioma:"eng" |
Temas: "Asistentes para la demostración" |
Repositorio:"Dialnet (Tesis)" |
Temas: "Formalización de matemáticas" |
Biomedical images | (1) |
Formalization of mathematics | (1) |
Homological processing | (1) |
Imágenes biomédicas | (1) |
Interactive theorem provers | (1) |
Más... |
1.
|
Certifying homological algorithms to study biomedical images Poza López de Echazarreta, María
|