title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
bibtex
@phdthesis{'Fou5',
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
