Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Algebraic topology | 1 |
| Computer Algebra systems | 1 |
| INFORMATICA DISEÑO Y COMPONENTES DE SISTEMAS DE INFORMACION CIENCIA DE LOS ORDENADORES | 1 |
| PEDAGOGIA MATEMATICAS | 1 |
| Theorem Provers | 1 |
| Topología algebráica | 1 |
| cálculo simbólico | 1 |
| demostradores automatizados | 1 |