Knowledge Tree

researcher / Gilles Défourneaux

Gilles Défourneaux

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Découverte et utilisation d'analogies pour la construction de preuves et contre-exemples