Colección: TEMAS
Temas | Cantidad |
---|---|
Asistentes para la demostración | 1 |
Biomedical images | 1 |
Formalización de matemáticas | 1 |
Formalization of mathematics | 1 |
Homological processing | 1 |
Imágenes biomédicas | 1 |
Interactive theorem provers | 1 |
Procesamiento homológico | 1 |