Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Algebraic topology | 1 |
| Computer Algebra systems | 1 |
| INTELIGENCIA ARTIFICIAL MECANICA ESTADISTICA PROCESOS DE LA MEMORIA | 1 |
| NTELIGENCIA ARTIFICIAL INFORMATICA | 1 |
| PEDAGOGIA MATEMATICAS | 1 |
| Theorem Provers | 1 |
| Topología algebráica | 1 |
| cálculo simbólico | 1 |
| demostradores automatizados | 1 |