Stefano Zacchiroli

User interaction widgets for interactive theorem proving.
. University of Bologna, Italy, (2007)base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:616).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Stefano Zacchiroli
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden