Knowledge Tree

researcher / Odile Hermann

Odile Hermann

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre