Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (20)
  • Paris 11 (20)
  • Grenoble Alpes (9)
  • Montpellier (9)
  • Orléans (8)
  • Paris 6 (8)
  • Nancy 1 (7)
  • Paris 7 (7)
  • Paris, CNAM (7)
  • Caen (5)
  • Dijon (5)
  • Paris Saclay (5)
  • Université Joseph Fourier (Grenoble) (5)
  • Aix-Marseille 2 (4)
  • Besançon (4)
  • Bordeaux 1 (4)
  • Lyon 1 (4)
  • Rennes 1 (4)
  • Sorbonne Paris Cité (4)
  • Aix-Marseille (3)
  • Artois (3)
  • Ecole centrale de Lille (3)
  • Lyon (3)
  • Montpellier 2 (3)
  • Nice (3)
  • Paris 1 (3)
  • Paris Est (3)
  • Toulouse 3 (3)
  • Université de Lorraine (3)
  • Université de Sfax (Tunisie) (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 12 (2)
  • Toulouse, ENSAE (2)
  • Toulouse, ISAE (2)
  • Université de Sherbrooke (Québec, Canada) (2)
  • Université de Yaoundé I (2)
  • ?cole Mohammadia d'ing?nieurs (Rabat, Maroc) (1)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Avignon (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (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)
  • Mulhouse (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)
  • 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é 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 Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (135)
  • Sciences appliquées (16)
  • Mathématiques (7)
  • Philosophie (5)
  • 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)
  • Mathématiques et leurs interactions (1)
  • Mathématiques, informatique, automatique (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é, 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) (20)
  • École doctorale Informatique, télécommunications et électronique (Paris) (10)
  • I2S - Information, Structures, Systèmes (7)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (7)
  • Ecole doctorale Informatique de Paris-Sud (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (5)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (5)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • École doctorale Philosophie (Paris) (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)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (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 Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • ?cole doctorale Sciences des m?tiers de l'ing?nieur (Paris) (1)
  • 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)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et ingénierie (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (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, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (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 Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (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 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 (179)
  • anglais (41)
  • 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)
  • Lapayre Jean-Christophe (2)
  • Laurini Robert (2)
  • Leclère Michel (2)
  • Lescanne Pierre (2)
  • Loulergue Frédéric (2)
  • Marché Claude (2)
  • Merz Stephan (2)
  • Montmain Jacky (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)
  • 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)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Bertet Karell (1)
  • Berthomé Pascal (1)
  • Berti-Equille Laure (1)
  • Bertolissi Clara (1)
  • Besson Gérard (1)
  • Bloch Isabelle (1)
  • Boissier Olivier (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)
  • 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)
  • 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)
  • Chevalier Yannick (1)
  • Colloc Joël (1)
  • Colmerauer Alain (1)
  • Comyn-Wattiau Isabelle (1)
  • Conchon Sylvain (1)
  • Corbineau Pierre (1)
  • Coutaz Joëlle (1)
  • Croitoru Madalina (1)
  • Cruz Christophe (1)
  • Cuppens Frédéric (1)
  • DURAND R. (1)
  • De Mori Renato (1)
  • Delmas Rémi (1)
  • Demazeau Yves (1)
  • Demeure Alexandre (1)
  • Demolombe Robert (1)
  • Devienne Philippe (1)
  • Déharbe David (1)
  • Dinont Cédric (1)
  • Dowek Gilles (1)
  • Drap Pierre (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)
  • 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)
  • Garcia Eric (1)
  • Gardarin Georges (1)
  • Gargouri Faiez (1)
  • Gayet Philippe (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)
  • Hacid Mohand Saïd (1)
  • Haddad Serge (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)
  • Kesner Delia (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)
  • Limet Sébastien (1)
  • Lorho Bernard (1)
  • Luengo Vanda (1)
  • Lumineau Nicolas (1)
  • Lévy Nicole (1)
  • Mallem Malik (1)
  • Manolescu Goujot Ioana Gabriela (1)
  • Martin Philippe (1)
  • Mauny Michel (1)
  • Mazza Damiano (1)
  • Meghini Carlo (1)
  • Mendès Florence (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Monsuez Bruno (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (148)
  • Sciences de l'ingénieur (41)
  • Mathématiques (16)
  • Informatique, information, généralités (10)
  • Sciences de la nature et mathématiques (7)
  • Technologie (Sciences appliquées) (7)
  • Philosophie, psychologie (4)
  • Linguistique générale (4)
  • Epistémologie, causalité, genre humain (3)
  • 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

220 thèses pour "Logique du premier ordre"

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