Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Johannes Schmidt

est l'auteur d'une thèse

Abduction Algorithmes Analyse combinatoire énumérative Argumentation Calcul des propositions Classification en complexité Post Schaefer Énumération

Fullscreen

Abduction Algorithmes Analyse combinatoire énumérative Argumentation Calcul des propositions Classification en complexité Post Schaefer Énumération

Johannes Schmidt a rédigé la thèse suivante :

Classification en complexité de problèmes de raisonnement non-monotone et d' énumération

par Johannes Schmidt sous la direction de Nadia Creignou - Aix-Marseille

Informatique

Soutenue le 16-10-2012

Thèse soutenue

Accéder en ligne