Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Laurent
Oxusoff
IdRef
Mots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
These
Intelligence artificielle
Calcul propositionnel
Demonstration automatique
Demonstration theoreme
Thesis
Artificial intelligence
Propositional calculus
Automatic proving
Theorem proving
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)