Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (20)
  • Paris 11 (18)
  • Grenoble Alpes (9)
  • Paris 6 (8)
  • Nancy 1 (7)
  • Paris 7 (7)
  • Paris Saclay (6)
  • Paris, CNAM (6)
  • Caen (5)
  • Dijon (5)
  • Bordeaux 1 (4)
  • Grenoble 1 (4)
  • Lyon 1 (4)
  • Orléans (4)
  • Rennes 1 (4)
  • Sorbonne Paris Cité (4)
  • Aix-Marseille (3)
  • Aix-Marseille 2 (3)
  • Artois (3)
  • Besançon (3)
  • Ecole centrale de Lille (3)
  • Montpellier (3)
  • Montpellier 2 (3)
  • Nice (3)
  • Paris Est (3)
  • Toulouse 3 (3)
  • Université de Lorraine (3)
  • Bordeaux (2)
  • Cachan, Ecole normale supérieure (2)
  • Compiègne (2)
  • Evry-Val d'Essonne (2)
  • La Rochelle (2)
  • Lorient (2)
  • Lyon, INSA (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 1 (2)
  • Paris 12 (2)
  • Toulouse, ENSAE (2)
  • Université de Sfax (Tunisie) (2)
  • Université de Sherbrooke (Québec, Canada) (2)
  • Université de Yaoundé I (2)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Avignon (1)
  • Brest (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont Auvergne (1)
  • Côte d'Azur (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble INPG (1)
  • Kharkiv Polytechnic University (1)
  • La Réunion (1)
  • Lille 1 (1)
  • Lyon (1)
  • Marne-la-Vallée (1)
  • Normandie (1)
  • Paris 10 (1)
  • Paris 13 (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENSAM (1)
  • Paris, ENST (1)
  • Paris, INALCO (1)
  • Pau (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Toulouse, ISAE (1)
  • Tours (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Milan, Italie) (1)
  • Université Catholique de Louvain (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université d'Ottawa (1)
  • Université d'État de Saint-Petersbourg. Faculté de mathématiques et de mécanique (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (116)
  • Sciences appliquées (16)
  • Mathématiques (7)
  • Philosophie (4)
  • Sciences et techniques communes (4)
  • Informatique et applications (3)
  • Informatique et mathématiques (3)
  • Sciences et technologie industrielles (3)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Informat. (2)
  • Mathématiques et informatique (2)
  • Sciences du langage - linguistique (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)
  • Conception (1)
  • Contrôle des systèmes (1)
  • Génie Industriel et Informatique (1)
  • Histoire de la philosophie (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et automatique appliquées (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale (1)
  • Informatique médicale (1)
  • Ingénierie informatique (1)
  • Instrumentation et informatique de l'image (1)
  • Intelligence artificielle (1)
  • Logique mathématique (1)
  • Mathematiques (1)
  • Mathématiques et leurs interactions (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Sciences de la vie et de la santé, spécialité Bioinformatiques (1)
  • Sciences du langage : traitement automatique des langues (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 génie des activités à risques (1)
  • Sciences et technologies industrielles (1)
  • Sciences. Informatique et automatique appliquées (1)
  • Stic (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 (Paris) (9)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • I2S - Information, Structures, Systèmes (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • Sciences et Technologies de l'Information et de la Communication (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 Philosophie (Paris) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • ELICC (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2008 (Lyon) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale Stanislas (Nancy-Metz) (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences et ingénierie (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (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 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 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, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Sciences et Ingénierie (2008-2015 ; Evry) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (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 sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (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)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (158)
  • anglais (39)
  • russe (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Nicolle Christophe (4)
  • Delahaye David (3)
  • Kodratoff Yves (3)
  • Mugnier Marie-Laure (3)
  • Peltier Nicolas (3)
  • Spyratos Nicolas (3)
  • Trilling Laurent (3)
  • Altinel Tuna (2)
  • Beauquier Danièle (2)
  • Becher Verónica (2)
  • Blackburn Patrick (2)
  • Bon Philippe (2)
  • Calvary Gaëlle (2)
  • Carton Olivier (2)
  • Collart-Dutilleul Simon (2)
  • Courcelle Bruno (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)
  • Laleau Régine (2)
  • Laurini Robert (2)
  • Leclère Michel (2)
  • Lescanne Pierre (2)
  • Marché Claude (2)
  • Merz Stephan (2)
  • Paulin-Mohring Christine (2)
  • Rusinowitch Michaël (2)
  • SPYRATOS NICOLAS (2)
  • Segoufin Luc (2)
  • Talbot Jean-Marc (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Vacher Michel (2)
  • Vrain Christel (2)
  • Abiteboul Serge (1)
  • Aiguier Marc (1)
  • Aime Claude (1)
  • Aimé Xavier (1)
  • Andrieu Jacquet Armelle (1)
  • BOSC P. (1)
  • Balbiani Philippe (1)
  • Bancilhon François (1)
  • Barthélemy Jean-Pierre (1)
  • Bellatreche Ladjel (1)
  • Ben Yaacov Itaï (1)
  • Benferhat Salem (1)
  • Benhamou Belaïd (1)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Bertet Karell (1)
  • Bertolissi Clara (1)
  • Besson Gérard (1)
  • Bloch Isabelle (1)
  • Bosson Jean-Luc (1)
  • Bouajjani Ahmed (1)
  • Bouju Alain (1)
  • Boujut Jean-François (1)
  • Boulaye Guy (1)
  • Bouquet Fabrice (1)
  • Bouveret Myriam (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)
  • Cardey-Greenfield Sylviane (1)
  • Caucal Didier (1)
  • Cautis Bogdan (1)
  • Chabrier Jean-Jacques (1)
  • Charbonnier Sylvie (1)
  • Chateau Thierry (1)
  • Chauchat Jean-Hugues (1)
  • Chaudron Laurent (1)
  • Chauviré Christiane (1)
  • Chein Michel (1)
  • Chevalier Yannick (1)
  • Colloc Joël (1)
  • Colmerauer Alain (1)
  • Comon-Lundh Hubert (1)
  • Comyn-Wattiau Isabelle (1)
  • Conchon Sylvain (1)
  • Corbineau Pierre (1)
  • Coutaz Joëlle (1)
  • Cruz Christophe (1)
  • Cuppens Frédéric (1)
  • DURAND R. (1)
  • De Mori Renato (1)
  • Demazeau Yves (1)
  • Demeure Alexandre (1)
  • Demolombe Robert (1)
  • Devienne Philippe (1)
  • Déharbe David (1)
  • Dinont Cédric (1)
  • Dowek Gilles (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)
  • Fernandez Jean-Claude (1)
  • Fesquet Laurent (1)
  • Fontaine Pascal (1)
  • Fratani Séverine (1)
  • Gaio Mauro (1)
  • Gallico André (1)
  • Ganascia Jean-Gabriel (1)
  • Garbolino Emmanuel (1)
  • Gardarin Georges (1)
  • Gargouri Faiez (1)
  • Gayet Philippe (1)
  • Gehrke Mai (1)
  • Gensel Jérôme (1)
  • Gesquière Gilles (1)
  • Ghazel Mohamed (1)
  • Ghilardi Silvio (1)
  • Glize Pierre (1)
  • Gosselin Laurent (1)
  • Grasland Claude (1)
  • Gravier Sylvain (1)
  • Grigorieff Serge (1)
  • Grossmann Francis (1)
  • Grégoire Eric (1)
  • Guay Alexandre (1)
  • Guin Nathalie (1)
  • Guitart René (1)
  • Habermehl Peter (1)
  • Hadj Kacem Ahmed (1)
  • Henocque Laurent (1)
  • Huchard Marianne (1)
  • Huet Gérard (1)
  • Imbach Ruedi (1)
  • Iosif Radu (1)
  • Iturrioz Luisa (1)
  • Jaligot Eric (1)
  • Jaulent Marie-Christine (1)
  • Jensen Thomas (1)
  • Joloboff Vania (1)
  • Joray Pierre (1)
  • Jorrand Philippe (1)
  • Jouanot Fabrice (1)
  • Kayser Daniel (1)
  • Khouri Selma (1)
  • Kirchner Hélène (1)
  • Koriche Frédéric (1)
  • Kossovski Nicolay (1)
  • Kouloumdjian Jacques (1)
  • Kraif Olivier (1)
  • Labbé Cyril (1)
  • Lagrue Sylvain (1)
  • Lakhnech Yassine (1)
  • Lambert Patrick (1)
  • Lammari Nadira (1)
  • Lamolle Myriam (1)
  • Lamothe Jacques (1)
  • Le Duc Chan (1)
  • Le Thanh Nhan (1)
  • Lengrand Stéphane (1)
  • Lenne Dominique (1)
  • Levitt Gilbert (1)
  • Lorho Bernard (1)
  • Loulergue Frédéric (1)
  • Luengo Vanda (1)
  • Lévy Nicole (1)
  • Mallem Malik (1)
  • Manolescu Goujot Ioana Gabriela (1)
  • Martin Philippe (1)
  • Mauny Michel (1)
  • Meghini Carlo (1)
  • Mendès Florence (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Monsuez Bruno (1)
  • Moreau-Gaudry Alexandre (1)
  • Moreaux Patrice (1)
  • Morin-Allory Katell (1)
  • Morizet Pierre (1)
  • Mosbah Mohamed (1)
  • Muscholl Anca (1)
  • Méhaut Jean-François (1)
  • Nana Tchamnda Laurent (1)
  • Oquendo Flavio (1)
  • Panza Marco (1)
  • Paul Christophe (1)
  • Perrin Dominique (1)
  • Pierre Laurence (1)
  • Pin Jean-Éric (1)
  • Poibeau Thierry (1)
  • Pouivet Roger (1)
  • Poupon Anne (1)
  • Puentes John (1)
  • Péroche Bernard (1)
  • RAYNAL MICHEL (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

199 thèses pour "Logique du premier ordre"

Théorie de la dualité pour la logique du premier ordre.

par Luca Reggio sous la direction de Mai Gehrke - Sorbonne Paris Cité

Mathematiques

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

Soutenue le 09-12-2009
thèse soutenue

...´tation, validite´ ontle meˆme sens que dans la logique du premier ordre.6. Architecture du simulateurLe simulateur...

Accéder en ligne

...thanks to information provided by thefailure reasons.Mots clésLogique du premier ordre, Answer Set...

Accéder en ligne

Résultats 1 à 10