Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Sorbonne Paris Cité (7)
  • Grenoble (5)
  • Paris 1 (5)
  • Paris, CNAM (4)
  • Grenoble Alpes (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 11 (3)
  • Toulouse 1 (3)
  • Bordeaux (2)
  • Montpellier (2)
  • Nancy 1 (2)
  • Paris 7 (2)
  • Université de Lorraine (2)
  • Angers (1)
  • Antilles (1)
  • Artois (1)
  • Brest (1)
  • Dijon (1)
  • Grenoble INPG (1)
  • Institut polytechnique de Paris (1)
  • Lille 2 (1)
  • Limoges (1)
  • Nice (1)
  • Paris 10 (1)
  • Paris 13 (1)
  • Paris 2 (1)
  • Paris, EHESS (1)
  • Poitiers (1)
  • Rennes 1 (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université Paris-Est Créteil Val de Marne (UPEC) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Douala (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (22)
  • Droit privé (3)
  • Droit (2)
  • Droit public (2)
  • Philosophie (2)
  • Sciences appliquées (2)
  • Sciences de l'éducation (2)
  • Sciences et techniques (2)
  • Anthropologie sociale et ethnologie (1)
  • Automatique - productique (1)
  • Biologie Cellulaire et Physiopathologie (1)
  • Droit des affaires (1)
  • Droit privé et Sciences Criminelles (1)
  • Droit privé et sciences criminelles (1)
  • Droit privé et sciences crimminelles (1)
  • Histoire (1)
  • Histoire du droit (1)
  • Informatique, données, IA (1)
  • Informatique. Informatique fondamentale (1)
  • Mathématiques (1)
  • Mathématiques et modélisation (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Psychologie (1)
  • Psychologie sociale et experimentale (1)
  • Psychologie. Recherche en psychopathologie et psychanalyse (1)
  • SInformatique (1)
  • Sciences de gestion (1)
  • Sciences du mouvement humain (1)
  • Sciences economiques (1)
  • Sciences juridiques (1)
  • Sciences juridiques - droit privé (1)
  • Sociologie, démographie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (4)
  • École doctorale Droit et Science Politique (Toulouse) (3)
  • École doctorale Droit et Science Politique Pierre Couvrat (Poitiers) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale de recherches en psychanalyse et psychopathologie (Paris) (1)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM Lorraine (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (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 Philosophie (Paris) (1)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (1)
  • École doctorale Sciences de l'homme, des organisations et de la société (Rennes) (1)
  • École doctorale Sciences du sport, de la motricité et du mouvement humain (Orsay, Essonne ; 2015-....) (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 juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (1)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (1)
  • École doctorale d'Économie (Paris) (1)
  • École doctorale de droit (Pessac, Gironde) (1)
  • École doctorale de droit privé (Paris) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (49)
  • anglais (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (2)
  • Delahaye David (2)
  • Dubois Catherine (2)
  • Peltier Nicolas (2)
  • Baelde David (1)
  • Bard Christine (1)
  • Barkaoui Kamel (1)
  • Barras Bruno (1)
  • Berkani Karim (1)
  • Berthiau Denis (1)
  • Bertot Yves (1)
  • Bidoit-Tollu Nicole (1)
  • Blazy Sandrine (1)
  • Boissière Anne (1)
  • Bonnefoi Hervé (1)
  • Briere-Guenoun Fabienne (1)
  • Bronner Alain (1)
  • Cabanis André (1)
  • Cerrito Serenella (1)
  • Chabrier Jean-Jacques (1)
  • Cot Annie Louise (1)
  • Crouy-Chanel Emmanuel de (1)
  • Crouzatier Jean-Marie (1)
  • Curien Pierre-Louis (1)
  • Da Ponte Antonio Carlos (1)
  • Danti-Juan Michel (1)
  • Déharbe David (1)
  • Dowek Gilles (1)
  • Dubucs Jacques (1)
  • Fages François (1)
  • Fassin Didier (1)
  • Filliâtre Jean-Christophe (1)
  • Fontaine Pascal (1)
  • Fourment François (1)
  • Galmiche Didier (1)
  • Grard Loïc (1)
  • Gravier Sylvain (1)
  • Grenier Denise (1)
  • Herbelin Hugo (1)
  • Iosif Radu (1)
  • Kenfack Hugues (1)
  • Kesner Delia (1)
  • Kirchner Claude (1)
  • Kistler Max (1)
  • Kodratoff Yves (1)
  • Lakhnech Yassine (1)
  • Lavric Sabrina (1)
  • Le Berre Daniel (1)
  • Lecocq Pierre-André (1)
  • Lecourt Édith (1)
  • Lemasson Aurélien-Thibault (1)
  • Lengrand Stéphane (1)
  • Lécuyer Hervé (1)
  • Marquis Pierre (1)
  • Matsopoulou Haritini (1)
  • Maury Sylvette (1)
  • Merz Stephan (1)
  • Miller Dale (1)
  • Moro Marie Rose (1)
  • Mousseron Pierre (1)
  • Ndoko Nicole-Claire (1)
  • Niboyet Marie-Laure (1)
  • Nourou Tall Saïdou (1)
  • Paturel Robert (1)
  • Ploix Stéphane (1)
  • Poggi-Combaz Marie-Paule (1)
  • Pommier Gérard (1)
  • Rude-Antoine Edwige (1)
  • Saurin Alexis (1)
  • Schmitz Sylvain (1)
  • Strassburger Lutz (1)
  • Tcherkassof Anna (1)
  • Vauzeilles Jacqueline (1)
  • Verchinine Konstantin (1)
  • Vinck Dominique (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (23)
  • Droit (14)
  • Mathématiques (4)
  • Psychologie (3)
  • Sciences de l'ingénieur (3)
  • Informatique, information, généralités (2)
  • Philosophie, psychologie (2)
  • Sciences sociales, sociologie, anthropologie (2)
  • Sciences de la nature et mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Médecine et santé (2)
  • Epistémologie, causalité, genre humain (1)
  • Economie (1)
  • Education et enseignement (1)
  • Ethnologie (1)
  • Gestion et organisation de l'entreprise (1)
  • Bâtiments (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

61 thèses pour "Recherche de preuve"

...complet et décrivonsune stratégie de recherche de preuve optimale don-nant une procédure de décision NP...

Accéder en ligne
Sciences appliquées

Soutenue en 1997
thèse soutenue
Informatique

Soutenue le 26-10-2007
thèse soutenue

...´ories associatives-commutatives . . . . . . . . . . . . . . . 82Partie III Un syste`me de recherche de preuve par re...

Accéder en ligne

...recherche de preuve. Nous montrons dans le Chap. 4que les formules de la méthode B qui sont des axiomes et...

Accéder en ligne
Philosophie

Soutenue en 2004
thèse soutenue
Sciences et techniques

Soutenue en 2000
thèse soutenue

Résultats 1 à 10