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 |