Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Viorica
Sofronie-Stokkermans
IdRef
Mots clés
FR
|
EN
Abduction
Logique du premier ordre
Impliqués premiers
Logique informatique
Inférence
Abduction (logique)
Déduction (logique)
Intelligence artificielle
Sciences pour l'ingénieur et microtechniques
Procédures de décisions
Paramodulation
Saturation schématique
Combination
Ordinateurs -- Fiabilité
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 2 thèse(s)