Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (4)
  • Grenoble 1 (2)
  • Paris 6 (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Metz (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Paris, CNAM (1)
  • Paris, EHESS (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INPT (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Automatique (1)
  • Chimie analytique, spectroscopie et chimiométrie (1)
  • Informatique et mathématiques (1)
  • Mathématiques (1)
  • Philosophie (1)
  • Sciences appliquées (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • IAEM Lorraine (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Delahaye David (3)
  • Fariñas del Cerro Luis (2)
  • Accart Hardin Thérèse (1)
  • Bahsoun Jean-Paul (1)
  • Balbiani Philippe (1)
  • Becher Verónica (1)
  • Blackburn Patrick (1)
  • Bodeveix Jean-Paul (1)
  • Bouziane Hinde (1)
  • De Glas Michel (1)
  • Dowek Gilles (1)
  • Dupuy Nathalie (1)
  • Filali Mamoun (1)
  • Herzig Andreas (1)
  • Iturrioz Luisa (1)
  • Kister Jacky (1)
  • Nef Frédéric (1)
  • Padilla Pierre (1)
  • Schwind Camilla (1)
  • Touffet Jean (1)
  • Trilling Laurent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (12)
  • Mathématiques (2)
  • Psychologie (1)
  • Logique (1)
  • Education et enseignement (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

18 thèses pour "Méthode des tableaux"

...réécriture condition-nelles. ArchSAT intègres aussi la méthode des tableaux au travers d’une théorie SMT...

Accéder en ligne
Informatique

Soutenue en 1991
thèse soutenue

...premier ordre implémentant laméthode des tabeaux. La méthode des tableaux [D’Agostino, Gabbay, Hähnle, and...

Accéder en ligne
Informatique

Soutenue en 2006
thèse soutenue
Informatique et mathématiques

Soutenue en 1996
thèse soutenue

Abduction

par FIORA PIRRI-ARDIZZONE sous la direction de Michel De Glas - Paris 6

Sciences appliquées

Soutenue en 1995
thèse soutenue
Sciences biologiques et fondamentales appliquées. Psychologie

Soutenue en 1995
thèse soutenue

Résultats 1 à 10