Thesis

  1. Bases de Göbnerdesarrollo formal en coq 2005

    Universidade da Coruña

Theses Committees (1)

  1. Committee Member

    Formalización en isar de la metalógica de primer orden 2012

    Universidad de Sevilla

    Serrano Suárez, Fabián Fernando