Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (4)
  • Grenoble (4)
  • Grenoble Alpes (4)
  • Nancy 1 (4)
  • Université de Lorraine (4)
  • Aix-Marseille 1 (3)
  • Paris 4 (3)
  • Aix-Marseille (2)
  • Aix-Marseille 2 (2)
  • Caen (2)
  • Paris 10 (2)
  • Paris 6 (2)
  • Paris 7 (2)
  • Rennes 1 (2)
  • Brest (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Lille 1 (1)
  • Lille 2 (1)
  • Montpellier 2 (1)
  • Nice (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 1 (1)
  • Paris 9 (1)
  • Paris Saclay (1)
  • Paris, CNAM (1)
  • Paris, ENSAM (1)
  • Pau (1)
  • Rennes 2 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 3 (1)
  • Toulouse, ENSAE (1)
  • Universiteit van Amsterdam (1)
  • Università degli studi (Pavie, Italie) (1)
  • Université de Sfax. Faculté des sciences (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (33)
  • Sciences de gestion (3)
  • Informatique et mathématiques (2)
  • Aménagement et urbanisme (1)
  • Arts plastiques (1)
  • Conception (1)
  • Contrôle des systèmes (1)
  • Didactique & Linguistique (1)
  • Droit privé (1)
  • Informatique médicale (1)
  • Informatiquei (1)
  • Mathématiques, informatique et mécanique. Informatique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Océanographie (1)
  • Philosophie (1)
  • Science et technique des activités physiques et sportives (1)
  • Sciences (1)
  • Sciences appliquées (1)
  • Sciences de l'information et de la communication (1)
  • Sciences du sport (1)
  • Sciences et techniques communes (1)
  • Sciences économiques (1)
  • Virologie Microbiologie Immunologie (1)
  • Épistémologie, histoire des sciences et des techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences du sport, de la motricité et du mouvement humain (2015-.... ; Orsay, Essonne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale sciences de gestion (Grenoble) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (43)
  • anglais (16)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Desclès Jean-Pierre (3)
  • Ditmarsch Hans van (2)
  • Grandjean Etienne (2)
  • Le Thanh Nhan (2)
  • Monniaux David (2)
  • Peltier Nicolas (2)
  • Segoufin Luc (2)
  • Andrieu Bernard (1)
  • Aurelle Didier (1)
  • Bendraou Reda (1)
  • Benhamou Belaïd (1)
  • Benthem Johan van (1)
  • Berthet Charles (1)
  • Biase Alessia de (1)
  • Blackburn Patrick (1)
  • Bodeveix Jean-Paul (1)
  • Boncœur Jean (1)
  • Bouajjani Ahmed (1)
  • Bérard Béatrice (1)
  • Chabchoub Habib (1)
  • Chanal Valerie (1)
  • Charlet Jean (1)
  • Chauviré Christiane (1)
  • Chouraqui Eugène (1)
  • Cichon Eugeniusz-Adam (1)
  • Clermidy Fabien (1)
  • Creignou Nadia (1)
  • Darondeau Philippe (1)
  • De luca Livio (1)
  • Demolombe Robert (1)
  • Echenim Bertrand Mnacho (1)
  • Filali Mamoun (1)
  • Fimbel Éric (1)
  • Galmiche Didier (1)
  • Gastin Paul (1)
  • Geiselmann Johannes (1)
  • Gervais Marie-Pierre (1)
  • Halin Gilles (1)
  • Hansen Helle Hvid (1)
  • Jensen Thomas (1)
  • Joinet Jean-Baptiste (1)
  • Juanals Brigitte (1)
  • Kirchner Hélène (1)
  • Kohler François (1)
  • Laroussinie François (1)
  • Le Beux Pierre (1)
  • Marion Jean-Yves (1)
  • Miller Dale (1)
  • Moy Matthieu (1)
  • Niehren Joachim (1)
  • Nourine Lhouari (1)
  • Papini Odile (1)
  • Pontarotti Pierre (1)
  • Preller Anne (1)
  • Périn Michaël (1)
  • Raby Françoise (1)
  • Risch Vincent (1)
  • Schlechta Karl (1)
  • Siegel Pierre (1)
  • Sighireanu Mihaela (1)
  • Smets Sonja (1)
  • Strassburger Lutz (1)
  • Thély Nicolas (1)
  • Torelli Guido (1)
  • Valax Marc (1)
  • Veltman Frank (1)
  • Verkindt Pierre-Yves (1)
  • Véron Philippe (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (35)
  • Sciences de l'ingénieur (4)
  • Informatique, information, généralités (3)
  • Mathématiques (3)
  • Gestion et organisation de l'entreprise (3)
  • Sciences de la nature et mathématiques (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Logique (1)
  • Economie (1)
  • Droit (1)
  • Commerce, communications, transports (1)
  • Ethnologie (1)
  • Langues et linguistique (1)
  • Sciences de la terre (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Technologie (Sciences appliquées) (1)
  • Médecine et santé (1)
  • Urbanisme (1)
  • Architecture (1)
  • Sport (1)
  • Histoire et critique littéraires, rhétorique (1)

Domaines :

Fullscreen

59 thèses pour "Logique informatique"

Informatique

Soutenue le 30-10-2014
thèse soutenue
Informatique et mathématiques

Soutenue en 1988
thèse soutenue
Informatique

Soutenue le 16-09-2013
thèse soutenue
Informatique

Soutenue le 13-12-2010
thèse soutenue

Résultats 1 à 10