Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (9)
  • Toulouse 3 (9)
  • Grenoble INPG (7)
  • Grenoble (3)
  • Caen (2)
  • Paris, CNAM (2)
  • Angers (1)
  • Compiègne (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 5 (1)
  • Strasbourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (24)
  • Sciences appliquées (7)
  • Intelligence artificielle (3)
  • Contrôles des Systèmes (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)
  • Sciences et techniques. Chimie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (32)
  • anglais (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (9)
  • Fariñas del Cerro Luis (6)
  • Peltier Nicolas (3)
  • Delahaye David (2)
  • Kirchner Claude (2)
  • Lugiez Denis (2)
  • Rusinowitch Michaël (2)
  • Balbiani Philippe (1)
  • Berkani Karim (1)
  • Blackburn Patrick (1)
  • Chatalic Philippe (1)
  • DUCATEAU CHARLES FRANCOIS (1)
  • Dubois Catherine (1)
  • ENJALBERT M. (1)
  • Enjalbert Patrice (1)
  • Hermann Nicolas (1)
  • Herzig Andreas (1)
  • Kirchner Hélène (1)
  • Lengrand Stéphane (1)
  • Levrat Bernard (1)
  • Li Chumin (1)
  • Prade Henri (1)
  • Raynaud Yves (1)
  • Rousset Marie-Christine (1)
  • Schaub Torsten (1)
  • Schreck Pascal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (25)
  • Sciences de l'ingénieur (9)
  • Sciences de la nature et mathématiques (2)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Informatique, information, généralités (1)
  • Chimie, minéralogie, cristallographie (1)

Domaines :

Fullscreen

38 thèses pour "Déduction automatique"

...Modulo. Cet outil étend Zenon [Bonichon, Delahaye, andDoligez 2007], un outil de déduction automatique au...

Accéder en ligne
Sciences et techniques communes

Soutenue en 1991
thèse soutenue
Intelligence artificielle

Soutenue en 1994
thèse soutenue

...quelques perspectives de recherche.Du point de vue des techniques et concepts en déduction automatique...

Accéder en ligne
Sciences appliquées

Soutenue en 1986
thèse soutenue

Résultats 1 à 10