Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (19)
  • Grenoble Alpes (8)
  • Paris 1 (7)
  • Rennes 1 (7)
  • Université de Lorraine (7)
  • Paris 10 (6)
  • Sorbonne Paris Cité (6)
  • Grenoble 1 (4)
  • Paris 4 (4)
  • Artois (3)
  • Caen (3)
  • Dijon (3)
  • Grenoble (3)
  • Lyon (3)
  • Montpellier 3 (3)
  • Nantes (3)
  • Paris 6 (3)
  • Paris, CNAM (3)
  • Aix-Marseille (2)
  • Bordeaux 1 (2)
  • Compiègne (2)
  • Grenoble 2 (2)
  • Grenoble INPG (2)
  • Nancy 1 (2)
  • Normandie (2)
  • Orléans (2)
  • Paris Est (2)
  • Paris Saclay (2)
  • Paris, EHESS (2)
  • Toulouse 1 (2)
  • Toulouse, ISAE (2)
  • Valenciennes (2)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 2 (1)
  • Amiens (1)
  • Antilles (1)
  • Avignon (1)
  • Belfort-Montbéliard (1)
  • Besançon (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry-Val d'Essonne (1)
  • Florence (Italie) (1)
  • Lille 3 (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Nancy 2 (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 13 (1)
  • Paris 7 (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris Sciences et Lettres (1)
  • Paris, EPHE (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)
  • Supcom (Tunis) (1)
  • Tartu ülikool (1)
  • Toulouse 2 (1)
  • Universidad autonóma de Madrid (1)
  • Universiteit van Amsterdam (1)
  • University of Western Sydney (1)
  • Université Abou Bekr Belkaid (Tlemcen, Algérie) (1)
  • Université Catholique de Louvain (1)
  • Université Cheikh Anta Diop de Dakar (1)
  • Université d'Ottawa (1)
  • Université de Lausanne (1)
  • Université de Nis, Serbie (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de Yaoundé I (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (64)
  • Philosophie (19)
  • Sciences appliquées (9)
  • Intelligence artificielle (8)
  • Sciences du langage (4)
  • Sciences économiques (4)
  • STIC Informatique (2)
  • Sciences et techniques communes (2)
  • Aménagement (1)
  • Architecture (1)
  • Arts et Sciences de l'art (1)
  • Droit privé (1)
  • ETUDES ROMANES spécialité Etudes hispaniques et hispano-américaines (1)
  • Egonomie (1)
  • Etudes romanes (1)
  • Informatique appliquée aux sciences sociales (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et mathématiques (1)
  • Informatique et télécommunications (1)
  • Informatique linguistique (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Intelligence artificielle (1)
  • Langues, littératures et civilisations romanes : Espagnol (1)
  • Lettres modernes (1)
  • Linguistique (1)
  • Littérature comparée (1)
  • Littérature française (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Productique (1)
  • Psychanalyse (1)
  • Psychologie cognitive (1)
  • Psychologie. Recherches en psychanalyse et psychopatologie (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (option : linguistique) (1)
  • Sciences du langage - linguistique (1)
  • Sciences du langage Spécialité Linguistique Sociolinguistique et Acquisition du langage (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et techniques (1)
  • Sciences juridiques (1)
  • Sociologie (1)
  • Technologies de l'information et des systèmes (1)
  • Études Grecques et Latines (1)
  • Études théâtrales (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Philosophie (Paris) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (2)
  • Langues, Littératures, Cultures, Civilisations (2)
  • École doctorale Arts et médias (Paris) (2)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale de l'École des hautes études en sciences sociales (2)
  • École doctorale de l'École pratique des hautes études (Paris) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • ED SIS 488 (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • ELICC (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2010-2015) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Orléans) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Ecole doctorale de recherches en psychanalyse et psychopathologie (Paris) (1)
  • IAEM Lorraine (1)
  • Institut national polytechnique. Département des études doctorales (Grenoble) (1)
  • Langues, Littératures et Sciences Humaines (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Littératures françaises et comparée (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, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Milieu insulaire tropical : dynamiques de développement, sociétés, patrimoine et culture dans l'espace Caraïbes-Amériques (Pointe-à-Pitre) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (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 technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (123)
  • anglais (27)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herzig Andreas (7)
  • Fariñas del Cerro Luis (5)
  • Chauviré Christiane (3)
  • Ditmarsch Hans van (3)
  • Balbiani Philippe (2)
  • Besnard Philippe (2)
  • Blackburn Patrick (2)
  • Chiaramella Yves (2)
  • Cholvy Laurence (2)
  • Feuillade Guillaume (2)
  • Gasquet Olivier (2)
  • Lorini Emiliano (2)
  • Palamidessi Catuscia (2)
  • Rouault Jacques (2)
  • Aboudrar Bruno-Nassim (1)
  • Aiguier Marc (1)
  • Aknine Samir (1)
  • Amblard Maxime (1)
  • Amghar Youssef (1)
  • Armetta Frédéric (1)
  • Asher Nicholas (1)
  • Aubenque Pierre (1)
  • Audemard Gilles (1)
  • Ayong Le Kama Alain (1)
  • Ašić Tijana (1)
  • BRUANDET MARIE-FRANCOISE (1)
  • Baelde David (1)
  • Baratgin Jean (1)
  • Barkaoui Kamel (1)
  • Bastit Michel (1)
  • Becher Verónica (1)
  • Benis Sinaceur Hourya (1)
  • Benmiloud Karim (1)
  • Bolon Philippe (1)
  • Bouhoula Adel (1)
  • Boutot Alain (1)
  • Bouveret Myriam (1)
  • Bres Jacques (1)
  • Brunel Pierre (1)
  • Cabedoche Bertrand (1)
  • Cardey-Greenfield Sylviane (1)
  • Carton Olivier (1)
  • Cavalli Ana (1)
  • Cazenave Tristan (1)
  • Chelkoff Grégoire (1)
  • Chikh Azeddine (1)
  • Claramunt Christophe (1)
  • Coatrieux Gouenou (1)
  • Colletta Jean-Marc (1)
  • Corno Fulvio (1)
  • Cortès Jacques (1)
  • Courtès Joseph (1)
  • Curien Pierre-Louis (1)
  • Cuvillier Élian (1)
  • Dapoigny Richard (1)
  • Darbord Bernard (1)
  • Daubisse Jean-Claude (1)
  • Deprez Christine (1)
  • Desclès Jean-Pierre (1)
  • Doumeingts Guy (1)
  • Dubucs Jacques (1)
  • Duparc Jacques (1)
  • Durand-Lose Jérôme (1)
  • Dévoué Elina (1)
  • ENJALBERT M. (1)
  • Echenim Bertrand Mnacho (1)
  • Ellouze Nebrasse (1)
  • Elvira González Javier (1)
  • Enjalbert P. (1)
  • Enjalbert Patrice (1)
  • Estraillier Pascal (1)
  • Euzenat Jérôme (1)
  • FROIDEVAUX VIORICA (1)
  • Ferreira Da Silva Catarina (1)
  • Fotso Laure Pauline (1)
  • Fréville Arnaud (1)
  • Galmiche Didier (1)
  • Gardies Jean-Louis (1)
  • Genevès Pierre (1)
  • Geraci Carlo (1)
  • Geronimi Vincent (1)
  • Girardot Jean-Jacques (1)
  • Gosselin Laurent (1)
  • Gouchan Yannick (1)
  • Groote Philippe de (1)
  • Groz Roland (1)
  • Guay Alexandre (1)
  • HARDIN THERESE (1)
  • Haber Stéphane (1)
  • Hansen Helle Hvid (1)
  • Hassas Salima (1)
  • Heinzmann Gerhard (1)
  • Hopfensitz Astrid (1)
  • Idani Akram (1)
  • Jia Yangli (1)
  • Joray Pierre (1)
  • Jorrand Philippe (1)
  • Kassel Gilles (1)
  • Kayser Daniel (1)
  • Kistler Max (1)
  • Konieczny Sébastien (1)
  • Lang Christophe (1)
  • Lang Jérôme (1)
  • Larchey-Wendling Dominique (1)
  • Laufer Laurie (1)
  • Layaida Nabil (1)
  • Lazzeri Christian (1)
  • Le Berre Daniel (1)
  • Ledru Yves (1)
  • Lefèvre Fabrice (1)
  • Lepsoo Tanel (1)
  • Lesot Marie-Jeanne (1)
  • Longin Dominique (1)
  • Lourdeaux Domitile (1)
  • Lund Kristine (1)
  • Mainguenaud Michel (1)
  • Mandiau René (1)
  • Marchal Bertrand (1)
  • Marilleau Nicolas (1)
  • Marion Jean-Yves (1)
  • Marquis Pierre (1)
  • Marret Sophie (1)
  • Meurie Cyril (1)
  • Minari Pierluigi (1)
  • Moulin Claude (1)
  • Mourlin Fabrice (1)
  • Mé Ludovic (1)
  • Métais Elisabeth (1)
  • Nef Frédéric (1)
  • Nicolaï André (1)
  • Nicolle Christophe (1)
  • Orange Christian (1)
  • Orange Ravachol Denise (1)
  • Palmigiano Alessandra (1)
  • Pearce David J. (1)
  • Peltier Nicolas (1)
  • Perrussel Laurent (1)
  • Pesty Sylvie (1)
  • Philippe Laurent (1)
  • Poirel Dominique (1)
  • Pouivet Roger (1)
  • Pueyo Valérie (1)
  • Quint Vincent (1)
  • Rahman Shahid (1)
  • Rampacek Sylvain (1)
  • Raveleau Benoît (1)
  • Ray Cyril (1)
  • Reboul Anne (1)
  • Rispail Marielle (1)
  • Roche Christophe (1)
  • Roggero Pascal (1)
  • Roisin Cécile (1)
  • Roy Jean-Michel (1)
  • Ruichek Yassine (1)
  • Rykner Arnaud (1)
  • SAINT-DIZIER P. (1)
  • SIROUX J. (1)
  • Saad Inès (1)
  • Sandu Gabriel (1)
  • Santocanale Luigi (1)
  • Saurin Alexis (1)
  • Schlenker Philippe (1)
  • Schwind Camilla (1)
  • Seguin Christel (1)
  • Shariat Ghodous Parisa (1)
  • Sibertin-Blanc Christophe (1)
  • Siegel Pierre (1)
  • Simon Jean-Pascal (1)
  • Smets Sonja (1)
  • Soulier Eddie (1)
  • Szilas Nicolas (1)
  • Sène Mbaye (1)
  • Thibaud Jean-Paul (1)
  • Thibierge Catherine (1)
  • Thomas-Fogiel Isabelle (1)
  • Tiercelin Claudine (1)
  • Tixier Nicolas (1)
  • Tulenheimo Tero (1)
  • Valencia Frank (1)
  • Valette Robert (1)
  • Vasylchenko Andriy (1)
  • Verfaillie Gérard (1)
  • Vignolle Jean (1)
  • Visetti Yves-Marie (1)
  • Viêt Triêm Tông Valérie (1)
  • Volkoff Serge (1)
  • Walukiewicz Igor (1)
  • Zaragoza Georges (1)
  • Zhang Dongmo (1)
  • Zimmermann Bénédicte (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (74)
  • Sciences de l'ingénieur (18)
  • Philosophie, psychologie (15)
  • Linguistique générale (7)
  • Technologie (Sciences appliquées) (5)
  • Sciences de la nature et mathématiques (4)
  • Mathématiques (4)
  • Informatique, information, généralités (3)
  • Epistémologie, causalité, genre humain (3)
  • Psychologie (3)
  • Philosophie occidentale moderne et philosophies non orientales (3)
  • Economie (3)
  • Langues et linguistique (3)
  • Littérature de langues romanes. Littérature française (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Droit (2)
  • Médias d'information, journalisme, édition (1)
  • Métaphysique (1)
  • Logique (1)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Religion (1)
  • Administration publique. Arts et science militaires (1)
  • Education et enseignement (1)
  • Commerce, communications, transports (1)
  • Langue anglaise. Anglo-saxon (1)
  • Langues espagnole et portugaise (1)
  • Autres langues (1)
  • Médecine et santé (1)
  • Urbanisme (1)
  • Architecture (1)
  • Arts graphiques (1)
  • Arts du spectacle, loisirs (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Littérature italienne (1)

Domaines :

Fullscreen

150 thèses pour "Logique modale"

Informatique. Intelligence artificielle

Soutenue en 2008
thèse soutenue
Philosophie

Soutenue en 2008
thèse soutenue
Informatique

Soutenue en 2009
thèse soutenue

...présentons une mise en œuvre pour résoudre le problème de satisfaisabilité dansla logique modale K basée sur...

Accéder en ligne

Résolution pratique de la cohérence de formules en logique modale

par Valentin Montmirail sous la direction de Daniel Le Berre - Artois

Informatique

En préparation depuis le 14-09-2015
 thèse en cours de préparation
Sciences appliquées

Soutenue en 1986
thèse soutenue

Résultats 1 à 10