Vanzetto, Hernán, 1981-....
VIAF ID: 314922647 ( Personal )
Permalink: http://viaf.org/viaf/314922647
Preferred Forms
Works
Title | Sources |
---|---|
Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+ | |
Proof automation and type synthesis for set theory in the context of TLA+. |