Compilation de connaissances pour le comptage de modèles

par Samuel Thomas

Thèse de doctorat en Informatique

Sous la direction de Pierre Marquis.

Thèses en préparation à l'Artois , dans le cadre de ED Sciences Pour l'Ingénieur (n°72) depuis le 03-10-2012 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.