Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris Saclay (2)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Dijon (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Montpellier (1)
  • Orléans (1)
  • Paris 11 (1)
  • Paris Sciences et Lettres (1)
  • Paris, CNAM (1)
  • Toulouse 3 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Mathématiques (2)
  • Mathématiques et Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • I2S - Information, Structures, Systèmes (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Raffalli Christophe (2)
  • Barkaoui Kamel (1)
  • Bhargavan Karthikeyan (1)
  • Bodeveix Jean-Paul (1)
  • Bourke Timothy (1)
  • Castéran Pierre (1)
  • Dowek Gilles (1)
  • Dumas Jean-Guillaume (1)
  • Durand Irène (1)
  • Filali Mamoun (1)
  • Filliâtre Jean-Christophe (1)
  • Haddad Serge (1)
  • Hyvernat Pierre (1)
  • Kaci Souhila (1)
  • Loulergue Frédéric (1)
  • Mauny Michel (1)
  • Mosbah Mohamed (1)
  • Nicolle Christophe (1)
  • Nour Karim (1)
  • Pouzet Marc (1)
  • Rampacek Sylvain (1)
  • Ranta Aarne (1)
  • Senizergues Géraud (1)
  • Tabareau Nicolas (1)
  • Werner Benjamin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (14)
  • Informatique, information, généralités (2)
  • Mathématiques (2)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

17 thèses pour "Assistants de preuves"

Mathématiques

En préparation depuis le 01-09-2016
 thèse en cours de préparation

...hypothèses etl’objectif de la preuve.Les assistants de preuves tels que Isabelle et Coq sont des langages de...

Accéder en ligne
Mathématiques et Informatique

Soutenue le 03-07-2018
thèse soutenue

...} où ri est la bande aléatoire interne de398. ASSISTANTS DE PREUVES AUTOMATIQUESchaque Pi, et mij est...

Accéder en ligne

...nécessaires. Les systèmes formels et les assistants de preuves commeCoq et Isabelle-HOL sont utilisés pour...

Accéder en ligne
Informatique

Soutenue le 11-12-2012
thèse soutenue

...démonstrateurs sont également appelés assistants de preuves. La demande générale de prouver des théorèmes d...

Accéder en ligne

Résultats 1 à 10