SMT modulo : intégrer la déduction modulo

par Guillaume Bury

Projet de thèse en Informatique

Sous la direction de Gilles Dowek.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec RECHERCHES EN INFORMATIQUE ET AUTOMATIQUE (equipe de recherche) depuis le 28-09-2015 .


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


  • Pas de résumé disponible.