![Foto de Gilberto](/img/nophoto.png)
Gilberto
Pérez Vega
Profesor Titular de Universidad
Tesis doctoral
-
Bases de Göbnerdesarrollo formal en coq 2005
Universidade da Coruña
Tribunales de tesis (1)
-
Vocal del tribunal
Formalización en isar de la metalógica de primer orden 2012Universidad de Sevilla
Serrano Suárez, Fabián Fernando