Etude et intégration de raisonements automatique dans l'outil MémoNote

par Hakim Mokeddem

Projet de thèse en Informatique

Sous la direction de Pierre Tchounikine.

Thèses en préparation à Grenoble Alpes en cotutelle avec l'Ecole Supérieur d'Informatique ESI , dans le cadre de Mathématiques, Sciences et technologies de l'information, Informatique , en partenariat avec LIG - Laboratoire d'Informatique de Grenoble (laboratoire) et de METAH (equipe de recherche) depuis le 01-12-2012 .


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

  • Titre traduit

    Study and integration of automatic reasoning in MémoNote system


  • Pas de résumé disponible.