Enrico Tassi

Interactive theorem provers: issues faced as a user and tackled as a developer.
. University of Bologna, Italy, (2008)base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:917).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Enrico Tassi
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden