Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 11 (4)
  • Université de Lorraine (4)
  • Paris, CNAM (3)
  • Bordeaux (1)
  • Cachan, Ecole normale supérieure (1)
  • Grenoble (1)
  • Lyon (1)
  • Nancy 1 (1)
  • Nice (1)
  • Strasbourg (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (17)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (9)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Delahaye David (2)
  • Dubois Catherine (2)
  • Merz Stephan (2)
  • Beauquier Joffroy (1)
  • Berkani Karim (1)
  • CHAZARAIN J. (1)
  • Castéran Pierre (1)
  • Comon-Lundh Hubert (1)
  • Contejean Evelyne (1)
  • Cortier Véronique (1)
  • Déharbe David (1)
  • Fontaine Pascal (1)
  • Jouannaud Jean-Pierre (1)
  • Kirchner Hélène (1)
  • Lakhnech Yassine (1)
  • Marché Claude (1)
  • Muller Jean-Michel (1)
  • Méry Dominique (1)
  • Paulin-Mohring Christine (1)
  • Schreck Pascal (1)
  • Zemmari Akka (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (17)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

...des preuves des assistantsà la preuve, dont certaines font appel à des prouveurs automatiques. Nous...

Accéder en ligne
Informatique

Soutenue le 12-01-2012
thèse soutenue

Preuves de theoremes inductifs et synthese de programmes recursifs

par SERGE MULLER sous la direction de J. CHAZARAIN - Nice

Sciences appliquées

Soutenue en 1996
thèse soutenue

Résultats 1 à 10