Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (21)
  • Nancy 1 (17)
  • Toulouse 3 (7)
  • Aix-Marseille (5)
  • Aix-Marseille 2 (4)
  • Palaiseau, Ecole polytechnique (4)
  • Nice (3)
  • Paris 1 (3)
  • Sorbonne Paris Cité (3)
  • Lyon, École normale supérieure (2)
  • Montpellier 2 (2)
  • Paris 6 (2)
  • Paris, CNAM (2)
  • Vandoeuvre-les-Nancy, INPL (2)
  • Bordeaux 1 (1)
  • Florence (Italie) (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Montpellier (1)
  • Orléans (1)
  • Paris 10 (1)
  • Paris 11 (1)
  • Paris 12 (1)
  • Paris Saclay (1)
  • Paris, ENMP (1)
  • Strasbourg (1)
  • UNIVERSITE D'HELSINKI (1)
  • Universidad de la República (Montevideo) (1)
  • Università degli studi di Roma "Tor Vergata". Facoltà di scienze (1)
  • Université du Québec à Montréal (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (49)
  • Mathématiques (11)
  • Philosophie (5)
  • Sciences appliquées (4)
  • Informatique. Informatique fondamentale (2)
  • Logique et fondements de l'informatique (2)
  • Mathématiques et Informatique (2)
  • Sciences et techniques (2)
  • Automatique, traitement du signal et génie informatique (1)
  • Chimie (1)
  • Didactique des mathématiques (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique fondamentale (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques, Informatiques (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)
  • Sciences de l'éducation (1)
  • Sciences et techniques communes (1)
  • Épistémologie (1)
  • Épistémologie, histoire des sciences et des techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (3)
  • IAEM Lorraine (2)
  • I2S - Information, Structures, Systèmes (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (70)
  • anglais (18)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Girard Jean-Yves (6)
  • Kirchner Claude (5)
  • Galmiche Didier (4)
  • Krivine Jean-Louis (4)
  • Bertot Yves (3)
  • Curien Pierre-Louis (3)
  • Kirchner Hélène (3)
  • Lescanne Pierre (3)
  • Miller Dale (3)
  • Régnier Laurent (3)
  • Soloviev Sergei (3)
  • Dubois Catherine (2)
  • Herbelin Hugo (2)
  • Accart Hardin Thérèse (1)
  • Baelde David (1)
  • Bahsoun Jean-Paul (1)
  • Baillot Patrick (1)
  • Barras Bruno (1)
  • Benis Sinaceur Hourya (1)
  • Bert Didier (1)
  • Bouveresse Jacques (1)
  • Brlek Srecko (1)
  • Bucciarelli Antonio (1)
  • Castanet Richard (1)
  • Castela Corine (1)
  • Danos Vincent (1)
  • Daumas Marc (1)
  • Delahaye David (1)
  • Deransart Pierre (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dowek Gilles (1)
  • Dufourd Jean-François (1)
  • Durieux Jean-Louis (1)
  • Ehrhard Thomas (1)
  • Ettinger Pierre (1)
  • Fages François (1)
  • Faye Emmanuel (1)
  • Giambiasi Norbert (1)
  • Grigorieff Serge (1)
  • Grimaud Gilles (1)
  • Grégoire Benjamin (1)
  • Hirschowitz Tom (1)
  • Joinet Jean-Baptiste (1)
  • Jouvelot Pierre (1)
  • Kesner Delia (1)
  • Kirchner Florent (1)
  • Kuzniak Alain (1)
  • Lafont Yves (1)
  • Lamarche François (1)
  • Lecomte Alain (1)
  • Lugiez Denis (1)
  • Magaud Nicolas (1)
  • Maurice Pierre (1)
  • Maury Sylvette (1)
  • Melliès Paul-André (1)
  • Minari Pierluigi (1)
  • Miquel Alexandre (1)
  • Moot Richard (1)
  • Moreau Pierre-François (1)
  • Negri Sara (1)
  • Nour Karim (1)
  • Nowak David (1)
  • Olivetti Nicola (1)
  • Paulin-Mohring Christine (1)
  • RESSAYRE J.-P. (1)
  • Raynaud Yves (1)
  • Ressayre Jean-Pierre (1)
  • Retore Christian (1)
  • Rioboo Renaud (1)
  • Rusinowitch Michaël (1)
  • Rāšid Rušdī Ḥafnī (1)
  • Sandu Gabriel (1)
  • Santocanale Luigi (1)
  • Saurin Alexis (1)
  • Spivakovsky Mark (1)
  • Tortora de Falco Lorenzo (1)
  • Verchinine Konstantin (1)
  • Vuillon Laurent (1)
  • Werner Benjamin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (62)
  • Mathématiques (22)
  • Philosophie, psychologie (5)
  • Sciences de l'ingénieur (5)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Epistémologie, causalité, genre humain (2)
  • Education et enseignement (2)
  • Informatique, information, généralités (1)
  • Psychologie (1)
  • Logique (1)
  • Chimie, minéralogie, cristallographie (1)

Domaines :

Fullscreen
Mathématiques et Informatique

Soutenue le 23-10-2013
thèse soutenue
Sciences biologiques et fondamentales appliquées. Psychologie

Soutenue en 1988
thèse soutenue

Théorie de la démonstration des logiques conditionnelles

par Marianna Girlando sous la direction de Nicola Olivetti et de Sara Negri. - Aix-Marseille

Informatique

Soutenue le 08-02-2019
 thèse en cours de préparation

Résultats 1 à 10