Résultats 1 à 8

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 11 (2)
  • Angers (1)
  • Grenoble (1)
  • Limoges (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Paris, CNAM (1)
  • U tecnica federico santa maria - chili (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Sciences appliquées (3)
  • Mathématiques. Calcul formel (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (5)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (1)
  • Comon-Lundh Hubert (1)
  • Crolard Tristan (1)
  • Duval Dominique (1)
  • Kodratoff Yves (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Monfroy Éric (1)
  • Peltier Nicolas (1)
  • Pitrat Jacques (1)
  • Saubion Frédéric (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (4)
  • Sciences de l'ingénieur (3)
  • Mathématiques (1)

Domaines :

Fullscreen

...celogiciel sur un ensemble de benchmarks.Mots clés : démonstration automatique de théorèmes, schématisation...

Accéder en ligne
Informatique

Soutenue le 19-12-2018
 thèse en cours de préparation
Mathématiques. Calcul formel

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1996
thèse soutenue
Informatique

En préparation depuis le 01-10-2015
 thèse en cours de préparation

Résultats 1 à 8