Fecha:"2004" |
Fecha:"2009" |
Fecha:"2013" |
Fecha:"2008" |
Temas: "Asistentes para la demostración" |
Repositorio:"Dialnet (Tesis)" |
Temas: "Homological processing" |
Biomedical images | (1) |
Formalización de matemáticas | (1) |
Formalization of mathematics | (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
|