Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (7)
  • Sorbonne Paris Cité (7)
  • Université de Lorraine (5)
  • Paris 3 (4)
  • Paris 4 (4)
  • Paris 5 (4)
  • Lyon 1 (3)
  • Orléans (3)
  • Paris 11 (3)
  • Paris 6 (3)
  • Rennes 1 (3)
  • Brest (2)
  • Clermont-Ferrand 2 (2)
  • Dijon (2)
  • Grenoble (2)
  • Lyon (2)
  • Mulhouse (2)
  • Nancy 1 (2)
  • Nantes (2)
  • Paris 1 (2)
  • Paris 10 (2)
  • Paris 13 (2)
  • Paris 8 (2)
  • Paris, CNAM (2)
  • Strasbourg 2 (2)
  • Aix-Marseille 2 (1)
  • Bordeaux 1 (1)
  • Bordeaux 3 (1)
  • Bourgogne Franche-Comté (1)
  • Institut supérieur de l'éducation et de la formation continue (Tunis 1) (1)
  • Lorient (1)
  • Montpellier (1)
  • Nice (1)
  • Paris Est (1)
  • Paris, INALCO (1)
  • Toulouse 3 (1)
  • Toulouse, ISAE (1)
  • Tours (1)
  • Universidad de Buenos Aires. Facultad de filosofía y letras (1)
  • Universität des Saarlandes (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Yaoundé I (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (25)
  • Sciences du langage (15)
  • Linguistique (10)
  • Sciences appliquées (7)
  • Philosophie (4)
  • Histoire (2)
  • Informatique linguistique (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Didactique & Linguistique (1)
  • Didactique des mathématiques (1)
  • Ethique médicale (1)
  • Génie informatique (1)
  • Informat. (1)
  • Lettres, sciences humaines et sociales (1)
  • Linguistique et didactique de l'anglais (1)
  • Littérature et civilisation française (1)
  • Logique et fondements de l'informatique (1)
  • Mathématiques (1)
  • Mathématiques, informatique et application aux sciences de l’homme (1)
  • Mathématiques. Informatique (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)
  • Sciences de l'Education (1)
  • Sciences et techniques (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Traitement automatique des langues (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Langage et langues (Paris) (3)
  • École doctorale Concepts et langages (Paris) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (2)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (2)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • I2S - Information, Structures, Systèmes (1)
  • MATISSE (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Littérature française 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 ; 2010-2015) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Pratiques et théories du sens (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la mer (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff) (1)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (1)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (1)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (83)
  • anglais (5)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Desclès Jean-Pierre (3)
  • Barkaoui Kamel (2)
  • Chambreuil Michel (2)
  • Dowek Gilles (2)
  • Gross Gaston (2)
  • Rebuschi Georges (2)
  • Tamba Irène (2)
  • Abdeljaouad Mahdi (1)
  • Anastasiádi-Symeonídi Ánna (1)
  • Auroux Sylvain (1)
  • BEKKERS Y. (1)
  • Bardin Sébastien (1)
  • Bellot Patrick (1)
  • Ben Hadj-Alouane Néjib (1)
  • Bentolila Fernand (1)
  • Berruet Pascal (1)
  • Biard Joël (1)
  • Blanc Georges (1)
  • Blazy Sandrine (1)
  • Boitet Christian (1)
  • Bouattour Mohamed (1)
  • Bouché Richard (1)
  • Boutot Alain (1)
  • Breuillard Jean (1)
  • Buvet Pierre-André (1)
  • Cegielski Patrick (1)
  • Chabrier Jean-Jacques (1)
  • Chevalier Jean-Claude (1)
  • Choffrut Christian (1)
  • Claramunt Christophe (1)
  • Courcelle Bruno (1)
  • Darbord Bernard (1)
  • De Glas Michel (1)
  • Delmas Claude (1)
  • Delmas Rémi (1)
  • Deprun Jean (1)
  • Draelants Isabelle (1)
  • Durand-Guerrier Viviane (1)
  • Euzenat Jérôme (1)
  • Eveillard Damien (1)
  • Ferrand G. (1)
  • Ferreira Da Silva Catarina (1)
  • Feuillard Colette (1)
  • Fragonard Marie-Madeleine (1)
  • Gandon Fabien (1)
  • Georges Jean-Philippe (1)
  • Guillemin-Flescher Jacqueline (1)
  • Haddad Serge (1)
  • Haton Jean-Paul (1)
  • Hervé Christian (1)
  • Idoumghar Lhassane (1)
  • Iogna-Prat Dominique (1)
  • Jacquemard Catherine (1)
  • Kirchner Florent (1)
  • Klaíris Chrístos (1)
  • Kodratoff Yves (1)
  • Krivine Jean-Louis (1)
  • Laforest Frédérique (1)
  • Layaida Nabil (1)
  • Le Goffic Pierre (1)
  • Le Pesant Denis (1)
  • Limet Sébastien (1)
  • Loulergue Frédéric (1)
  • Marion Jean-Yves (1)
  • Mattéoni Olivier (1)
  • Mejri Salah (1)
  • Melkemi Mahmoud (1)
  • Merz Stephan (1)
  • Muscholl Anca (1)
  • Ngalasso-Mwatha Musanji (1)
  • Novakova Iva (1)
  • Oquendo Flavio (1)
  • Orange Christian (1)
  • Pacholczyk Daniel (1)
  • Pagetti Claire (1)
  • Pellat Jean-Christophe (1)
  • Perronne Jean-Marc (1)
  • Petit Gérard (1)
  • Pierrel Jean-Marie (1)
  • Pin Jean-Éric (1)
  • Poibeau Thierry (1)
  • Pujol Berché Mercè (1)
  • Pétin Jean-François (1)
  • Raffin Marcelo Sergio (1)
  • Riegel Martin (1)
  • Ropars François (1)
  • Roulon-Doko Paulette (1)
  • Rousset Marie-Christine (1)
  • Rouveret Alain (1)
  • Réty Pierre (1)
  • Saint-Dizier Patrick (1)
  • Segoufin Luc (1)
  • Shariat Ghodous Parisa (1)
  • Siegel Anne (1)
  • Silberztein Max (1)
  • Souquières Jeanine (1)
  • Spyratos Nicolas (1)
  • Thomesse Jean-Pierre (1)
  • Tisseron Claude (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Vauday Patrick (1)
  • Weidenbach Christoph (1)
  • Yakobowski Boris (1)
  • Zanon Guy (1)
  • Zapata René (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (32)
  • Linguistique générale (18)
  • Sciences de l'ingénieur (11)
  • Langues et linguistique (10)
  • Philosophie, psychologie (4)
  • Mathématiques (4)
  • Informatique, information, généralités (3)
  • Education et enseignement (2)
  • Psychologie (1)
  • Logique (1)
  • Morale (éthique) (1)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Langue anglaise. Anglo-saxon (1)
  • Langues romanes. Français (1)
  • Langues espagnole et portugaise (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Gestion et organisation de l'entreprise (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littérature de langues romanes. Littérature française (1)
  • Géographie et histoire (1)
  • Histoire générale de la France (1)

Domaines :

Fullscreen

88 thèses pour Prédicat (logique)

Mathématiques. Informatique

Soutenue en 1991
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-04-2018
thèse soutenue

...Frédéric Gilbert Thèse de doctorat de mathématiques (logique et fondements de l’informatique) Dirigée par...

Accéder en ligne
Logique et fondements de l'informatique

Soutenue en 2001
thèse soutenue

...éléments fondamentaux sont les formules atomiques qui sont construites avec une lettre de prédicat, et une...

Accéder en ligne

...structure actancielle,qui peut être vide.Une unité sémantique n’est pas un prédicat logique. Si nous...

Accéder en ligne
Mathématiques, informatique et application aux sciences de l’homme

Soutenue le 12-05-2016
thèse soutenue

Résultats 1 à 10