Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (20)
  • Paris 11 (20)
  • Montpellier (13)
  • Grenoble Alpes (11)
  • Université Paris-Saclay (ComUE) (10)
  • Orléans (8)
  • Paris 6 (8)
  • Université de Lorraine (8)
  • Nancy 1 (7)
  • Paris 7 (7)
  • Paris, CNAM (7)
  • Sorbonne Paris Cité (7)
  • Besançon (5)
  • Bordeaux 1 (5)
  • Caen (5)
  • Dijon (5)
  • Lyon (5)
  • Rennes 1 (5)
  • Aix-Marseille (4)
  • Aix-Marseille 2 (4)
  • Artois (4)
  • Bordeaux (4)
  • Ecole centrale de Lille (4)
  • Lyon 1 (4)
  • Paris 1 (4)
  • Toulouse, ISAE (4)
  • Belfort-Montbéliard (3)
  • Compiègne (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Montpellier 2 (3)
  • Nice (3)
  • Paris Est (3)
  • Toulouse 1 (3)
  • Toulouse 3 (3)
  • Université Joseph Fourier (Grenoble) (3)
  • Université de Sfax (Tunisie) (3)
  • Avignon (2)
  • Brest (2)
  • Cachan, Ecole normale supérieure (2)
  • Côte d'Azur (2)
  • Evry-Val d'Essonne (2)
  • Grenoble 1 (2)
  • La Rochelle (2)
  • Lorient (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 10 (2)
  • Paris 13 (2)
  • Paris 8 (2)
  • Paris Sciences et Lettres (2)
  • Paris, ENST (2)
  • Pau (2)
  • Toulouse 2 (2)
  • Université Paris-Est Créteil Val de Marne (UPEC) (2)
  • Université de Sherbrooke (Québec, Canada) (2)
  • Université de Yaoundé I (2)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (2)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Angers (1)
  • Bourgogne Franche-Comté (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (1)
  • Corte (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Grenoble INPG (1)
  • Kharkiv Polytechnic University (1)
  • LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) (1)
  • La Réunion (1)
  • Lille 1 (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon 2 (1)
  • Lyon, INSA (1)
  • Mulhouse (1)
  • Normandie (1)
  • Paris 4 (1)
  • Paris, ENSAM (1)
  • Paris, INALCO (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Toulouse, INPT (1)
  • Tours (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • University of Cambridge (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Milan, Italie) (1)
  • Universität des Saarlandes (1)
  • Université Libanaise (Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Ottawa (1)
  • Université d'État de Saint-Petersbourg. Faculté de mathématiques et de mécanique (1)
  • Université de Marne-la-Vallée (1)
  • Université de Montréal (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université libre de Bruxelles (1970-....) (1)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (170)
  • Sciences appliquées (15)
  • Mathématiques (9)
  • Philosophie (8)
  • Informatique et mathématiques (4)
  • Informatique et applications (3)
  • Sciences et techniques communes (3)
  • Sciences et technologie industrielles (3)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Informat. (2)
  • Mathématiques et informatique (2)
  • Mathématiques et leurs interactions (2)
  • STIC Informatique (2)
  • Sciences du langage - linguistique (2)
  • Sciences du langage. Traitement automatique des langues (2)
  • Sciences et génie des activités à risques (2)
  • Sciences et techniques (2)
  • Sciences. Informatique (2)
  • Automatique et productique (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Conception (1)
  • Contrôle des systèmes (1)
  • Droit privé et sciences criminelles (1)
  • Electronique et communications (1)
  • Génie Industriel et Informatique (1)
  • Génie informatique (1)
  • Histoire de la philosophie (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et Télécommunication (1)
  • Informatique et Télécommunications (1)
  • Informatique et automatique appliquées (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale (1)
  • Informatique médicale (1)
  • Informatique. Informatique théorique (1)
  • Ingénierie informatique (1)
  • Instrumentation et informatique de l'image (1)
  • Intelligence artificielle (1)
  • Logique mathématique (1)
  • Mathématiques, informatique, automatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences de la vie et de la santé (1)
  • Sciences de la vie et de la santé, spécialité Bioinformatiques (1)
  • Sciences du langage (1)
  • Sciences du langage : traitement automatique des langues (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et Technologies de l’Information et de la Communication (1)
  • Sciences et technologies industrielles (1)
  • Sciences. Informatique et automatique appliquées (1)
  • Signal, Image, Vision (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement automatique des langues (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (21)
  • École doctorale Informatique, télécommunications et électronique de Paris (11)
  • I2S - Information, Structures, Systèmes (10)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (7)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (7)
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (6)
  • Ecole doctorale Informatique de Paris-Sud (6)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (6)
  • École doctorale Sciences pour l'Ingénieur (Lille) (5)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Philosophie (Paris) (4)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (3)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Systèmes (Toulouse) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (1)
  • ELICC (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • Sciences et ingénierie (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la mer (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (224)
  • anglais (47)
  • null (6)
  • russe (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Spyratos Nicolas (5)
  • Merz Stephan (4)
  • Mugnier Marie-Laure (4)
  • Nicolle Christophe (4)
  • Bon Philippe (3)
  • Collart-Dutilleul Simon (3)
  • Delahaye David (3)
  • Kodratoff Yves (3)
  • Leclère Michel (3)
  • Peltier Nicolas (3)
  • Trilling Laurent (3)
  • Altinel Tuna (2)
  • Beauquier Danièle (2)
  • Becher Verónica (2)
  • Blackburn Patrick (2)
  • Bloch Isabelle (2)
  • Calvary Gaëlle (2)
  • Cardey-Greenfield Sylviane (2)
  • Carton Olivier (2)
  • Courcelle Bruno (2)
  • Croitoru Madalina (2)
  • Dubois Catherine (2)
  • Fages François (2)
  • Filliâtre Jean-Christophe (2)
  • Fiorino Humbert (2)
  • Frappier Marc (2)
  • Froidevaux Christine (2)
  • Grandjean Etienne (2)
  • Hajjar Mohammad (2)
  • Huchard Marianne (2)
  • Laleau Régine (2)
  • Lapayre Jean-Christophe (2)
  • Laurini Robert (2)
  • Lescanne Pierre (2)
  • Loulergue Frédéric (2)
  • Marché Claude (2)
  • Montmain Jacky (2)
  • Paulin-Mohring Christine (2)
  • Rusinowitch Michaël (2)
  • Segoufin Luc (2)
  • Senellart Pierre (2)
  • Talbot Jean-Marc (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Vacher Michel (2)
  • Vrain Christel (2)
  • Zeitoun Marc (2)
  • Abiteboul Serge (1)
  • Aiguier Marc (1)
  • Aime Claude (1)
  • Aimé Xavier (1)
  • Andrieu Jacquet Armelle (1)
  • Arnold André (1)
  • Badonnel Rémi (1)
  • Balbiani Philippe (1)
  • Bancilhon François (1)
  • Barkaoui Kamel (1)
  • Barthélemy Jean-Pierre (1)
  • Bellatreche Ladjel (1)
  • Bellik Yacine (1)
  • Bellot Patrice (1)
  • Ben Yaacov Itaï (1)
  • Benferhat Salem (1)
  • Benhamou Belaïd (1)
  • Bennani Younès (1)
  • Berger Clemens (1)
  • Berkani Karim (1)
  • Bernard Gilles (1)
  • Berruet Pascal (1)
  • Bertet Karell (1)
  • Berthomé Pascal (1)
  • Berti-Equille Laure (1)
  • Bertolissi Clara (1)
  • Bertot Yves (1)
  • Besson Gérard (1)
  • Bisquert Pierre (1)
  • Boissier Olivier (1)
  • Bolon Philippe (1)
  • Borgi Amel (1)
  • Bosc Patrick (1)
  • Bosson Jean-Luc (1)
  • Bouajjani Ahmed (1)
  • Bouhlel Mohamed Salim (1)
  • Bouju Alain (1)
  • Boujut Jean-François (1)
  • Boulaye Guy (1)
  • Bouquet Fabrice (1)
  • Bouras Abdelaziz (1)
  • Bouveret Myriam (1)
  • Bouzeghoub Amel (1)
  • Brunel Julien (1)
  • Bucciarelli Antonio (1)
  • Bès Alexis (1)
  • Béchet Frédéric (1)
  • Bénaben Frédérick (1)
  • Caferra Ricardo (1)
  • Camps Valérie (1)
  • Caucal Didier (1)
  • Cautis Bogdan (1)
  • Cerri Stefano Alessandro (1)
  • Chabrier Jean-Jacques (1)
  • Charbonnier Sylvie (1)
  • Chateau Thierry (1)
  • Chauchat Jean-Hugues (1)
  • Chaudron Laurent (1)
  • Chauviré Christiane (1)
  • Chein Michel (1)
  • Chemouil David (1)
  • Chevalier Yannick (1)
  • Choppy Christine (1)
  • Claramunt Christophe (1)
  • Colloc Joël (1)
  • Colmerauer Alain (1)
  • Comyn-Wattiau Isabelle (1)
  • Conchon Sylvain (1)
  • Condamines Anne (1)
  • Condotta Jean François (1)
  • Corbineau Pierre (1)
  • Coulet Adrien (1)
  • Coutaz Joëlle (1)
  • Cruz Christophe (1)
  • Cuppens Frédéric (1)
  • DURAND R. (1)
  • Dapoigny Richard (1)
  • De Mori Renato (1)
  • Delmas Rémi (1)
  • Demazeau Yves (1)
  • Demeure Alexandre (1)
  • Demolombe Robert (1)
  • Devienne Philippe (1)
  • Devignes Marie-Dominique (1)
  • Déharbe David (1)
  • Dinont Cédric (1)
  • Dowek Gilles (1)
  • Drap Pierre (1)
  • Duc Guillaume (1)
  • ENJALBERT M. (1)
  • Echahed Rachid (1)
  • Echenim Bertrand Mnacho (1)
  • El Fallah Seghrouchni Amal (1)
  • Emiya Valentin (1)
  • Enjalbert Patrice (1)
  • Essoukri Ben Amara Najoua (1)
  • Estraillier Pascal (1)
  • Exbrayat Matthieu (1)
  • Fanlo Jean-Louis (1)
  • Farah Imed Riadh (1)
  • Fernandez Jean-Claude (1)
  • Ferreira Da Silva Catarina (1)
  • Fesquet Laurent (1)
  • Filiot Emmanuel (1)
  • Finkel Alain (1)
  • Fontaine Pascal (1)
  • Fratani Séverine (1)
  • Gaio Mauro (1)
  • Galland Stéphane (1)
  • Gallico André (1)
  • Galmiche Didier (1)
  • Ganascia Jean-Gabriel (1)
  • Garbolino Emmanuel (1)
  • Garcia Eric (1)
  • Gardarin Georges (1)
  • Gargouri Faiez (1)
  • Garoche Pierre-Loïc (1)
  • Gauwin Olivier (1)
  • Gayet Philippe (1)
  • Gechter Franck Joseph Aimé (1)
  • Gehrke Mai (1)
  • Gensel Jérôme (1)
  • Gesquière Gilles (1)
  • Ghazel Mohamed (1)
  • Ghilardi Silvio (1)
  • Gibel Patrick (1)
  • Glize Pierre (1)
  • Gosselin Laurent (1)
  • Grasland Claude (1)
  • Gravier Sylvain (1)
  • Grigorieff Serge (1)
  • Grossmann Francis (1)
  • Gruer Juan Pablo (1)
  • Grégoire Eric (1)
  • Guarnieri Franck (1)
  • Guay Alexandre (1)
  • Guin Nathalie (1)
  • Guirardel Vincent (1)
  • Guitart René (1)
  • Habermehl Peter (1)
  • Hacid Mohand Saïd (1)
  • Haddad Serge (1)
  • Hadj Kacem Ahmed (1)
  • Hajjam El Hassani Amir (1)
  • Henocque Laurent (1)
  • Henrion Didier (1)
  • Hilaire Vincent (1)
  • Huet Gérard (1)
  • Imbach Ruedi (1)
  • Iosif Radu (1)
  • Iturrioz Luisa (1)
  • Jaligot Eric (1)
  • Jaulent Marie-Christine (1)
  • Jensen Thomas (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (191)
  • Sciences de l'ingénieur (44)
  • Mathématiques (21)
  • Informatique, information, généralités (13)
  • Philosophie, psychologie (7)
  • Linguistique générale (6)
  • Sciences de la nature et mathématiques (6)
  • Technologie (Sciences appliquées) (6)
  • Epistémologie, causalité, genre humain (5)
  • Sciences de la vie, biologie, biochimie (4)
  • Médecine et santé (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Métaphysique (1)
  • Logique (1)
  • Religion (1)
  • Droit (1)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Gestion et organisation de l'entreprise (1)
  • Bâtiments (1)
  • Architecture (1)

Domaines :

Fullscreen

277 thèses pour "Logique du premier ordre"

Mathématiques et leurs interactions

Soutenue le 15-07-2019
thèse soutenue

...modèles : le théorème de compacité de la logique du premier ordre. Ondit qu'une théorie T (i.e. un...

Accéder en ligne
Informatique

Soutenue le 09-12-2009
thèse soutenue
Informatique

Soutenue le 30-05-2012
thèse soutenue

Résultats 1 à 10