Teses Doutorais
1 Ficheiro
- Tesis_informe.pdf 25 Kb
Bases de Gröbner : Desenrolo formal en Coq
1/03/05
Autor: Gilberto Pérez Vega
Defendida o: 21/01/2005 na Facultade de informática da Universidade de A Coruña.
