Hermann, Odile, 19..-....
VIAF ID: 2189145856967422920470 ( Personal )
Permalink: http://viaf.org/viaf/2189145856967422920470
Preferred Forms
Works
Title | Sources |
---|---|
Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre | |
Mechanization of proof search for program synthesis in the second order functional arithmetic. |