Telecharger Cours

Résolution du problème SAT et génération de modèles finis ... - AFPC

Je remercie en premier lieu Fabien Morel qui, en acceptant de diriger cette thèse, m'a initié à la belle théorie de motifs. Guidé par son immense savoir, ...



Download