Knowledge Tree

researcher / EMMANUEL LEGROS

EMMANUEL LEGROS

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Thesis:

Tests de satisfiabilite dans un langage de programmation en logique avec contraintes ensemblistes