| Título: | Formalized Mathematics |
| Autores: | |
| Fecha: | 2011-01-11 |
| Publicador: | Directory of Open Access Journals - DOAJ |
| Fuente: |
 |
| Tipo: | journal |
| Tema: |
mathematics computer mathematics computer science LCC:Science LCC:Q LCC:Mathematics LCC:QA1-939 |
| Descripción: | |
| Idioma: | |
1 | 6 |
2 | 7 |
3 | 8 |
4 | 9 |
5 | 10 |