Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (20)
  • Paris 11 (20)
  • Montpellier (10)
  • Grenoble Alpes (9)
  • Orléans (8)
  • Paris 6 (8)
  • Nancy 1 (7)
  • Paris 7 (7)
  • Paris, CNAM (7)
  • Paris Saclay (6)
  • Université de Lorraine (6)
  • Caen (5)
  • Dijon (5)
  • Université Joseph Fourier (Grenoble) (5)
  • Aix-Marseille 2 (4)
  • Artois (4)
  • Besançon (4)
  • Bordeaux 1 (4)
  • Lyon (4)
  • Lyon 1 (4)
  • Rennes 1 (4)
  • Sorbonne Paris Cité (4)
  • Aix-Marseille (3)
  • Bordeaux (3)
  • Ecole centrale de Lille (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Montpellier 2 (3)
  • Nice (3)
  • Paris 1 (3)
  • Paris Est (3)
  • Toulouse 3 (3)
  • Université de Sfax (Tunisie) (3)
  • Avignon (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)
  • Aix-Marseille 1 (1)
  • Angers (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)
  • Corte (1)
  • Côte d'Azur (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Grenoble INPG (1)
  • Kharkiv Polytechnic University (1)
  • La Réunion (1)
  • Lille 1 (1)
  • Lille 3 (1)
  • Limoges (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ät des Saarlandes (1)
  • Université Catholique de Louvain (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (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)
  • Université libre de Bruxelles (1970-....) (1)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (147)
  • Sciences appliquées (16)
  • Mathématiques (7)
  • Philosophie (6)
  • 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)
  • Signal, Image, Vision (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)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (5)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (5)
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (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 Philosophie (Paris) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (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 536 « Sciences et agrosciences » (Avignon) (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)
  • ED Sciences Pour l'Ingénieur (n°72) (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)
  • 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)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Jean-Henri Lambert (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, 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 de l'homme et de la société (Villeneuve d'Ascq, Nord) (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 Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (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 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)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (188)
  • anglais (46)
  • russe (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Spyratos Nicolas (5)
  • Nicolle Christophe (4)
  • Delahaye David (3)
  • Kodratoff Yves (3)
  • Merz Stephan (3)
  • Mugnier Marie-Laure (3)
  • Peltier 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)
  • Huchard Marianne (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)
  • 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)
  • 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)
  • Condotta Jean François (1)
  • Corbineau Pierre (1)
  • Coulet Adrien (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)
  • Devignes Marie-Dominique (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)
  • Farah Imed Riadh (1)
  • Fernandez Jean-Claude (1)
  • Ferreira Da Silva Catarina (1)
  • Fesquet Laurent (1)
  • Filiot Emmanuel (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)
  • Gauwin Olivier (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)
  • 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)
  • Lanet Jean-Louis (1)
  • Le Duc Chan (1)
  • Le Thanh Nhan (1)
  • Lefèvre Fabrice (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)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (161)
  • 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 (5)
  • Epistémologie, causalité, genre humain (4)
  • Linguistique générale (4)
  • Sciences de la vie, biologie, biochimie (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Métaphysique (1)
  • Logique (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

234 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