Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lille 1 (2)
  • Paris 1 (2)
  • Université de Lorraine (2)
  • Aix-Marseille 2 (1)
  • Artois (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Lyon (1)
  • Normandie (1)
  • Paris 4 (1)
  • Paris Saclay (1)
  • Sofijski universitet Sv. Kliment Ohridski (1)
  • Toulouse 1 (1)
  • Toulouse 2 (1)
  • Tours (1)
  • University of Salerno (1)
  • University of Western Sydney (1)
  • Université Abou Bekr Belkaid (Tlemcen, Algérie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (10)
  • Philosophie (3)
  • Linguistique (1)
  • Linguistique informatique (1)
  • Mathématiques, informatique, automatique (1)
  • Sciences de l'information et de la communication (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sociologie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Sciences de l'Homme et de la Société (Tours) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (12)
  • anglais (3)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Talbot Jean-Marc (2)
  • Tison Sophie (2)
  • Aiguier Marc (1)
  • Amghar Youssef (1)
  • Biard Joël (1)
  • Chambreuil Michel (1)
  • Chikh Azeddine (1)
  • Cochoy Franck (1)
  • Condotta Jean François (1)
  • Delamotte Éric (1)
  • Demri Stéphane P. (1)
  • Desclès Jean-Pierre (1)
  • Drap Pierre (1)
  • Dubucs Jacques (1)
  • Galmiche Didier (1)
  • Herzig Andreas (1)
  • Khruathong Sombat (1)
  • Kistler Max (1)
  • Larchey-Wendling Dominique (1)
  • Méry Dominique (1)
  • Papini Odile (1)
  • Piro Francesco (1)
  • Puentes John (1)
  • Roncancio Claudia Lucia (1)
  • Tchaouchev Assen (1)
  • Verdier Christine (1)
  • Zhang Dongmo (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (12)
  • Philosophie, psychologie (3)
  • Langues et linguistique (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Epistémologie, causalité, genre humain (1)
  • Sciences sociales, sociologie, anthropologie (1)

Domaines :

Fullscreen

19 thèses pour "Formalismes logiques"

La critique aux formalismes logiques de l’Ecole dans l’oeuvre de Pierre de La Ramée

par Michela Salsano sous la direction de Joël Biard et de Francesco Piro. - Tours

Philosophie

En préparation depuis le 03-05-2017
 thèse en cours de préparation

...aux différents formalismes logiques utilisés dans ces paradigmes. Une justificationsera alors donnée...

Accéder en ligne
Informatique

Soutenue le 13-10-2008
thèse soutenue

...). Beaucoup de formalismes logiques pour les requêtes un-aires ont été étudiés, en revanche, peu d...

Accéder en ligne

Pour une defense du pluralisme logique

par GABRIELLA CROCCO sous la direction de Jacques Dubucs - Paris 1

Philosophie

Soutenue en 1999
thèse soutenue

Intelligence artificielle symbolique par la morpho-logique.

par Alexandre Goy sous la direction de Marc Aiguier - Paris Saclay

Informatique

En préparation depuis le 31-10-2018
 thèse en cours de préparation

...Applications — UMR 7503Mis en page avec la classe thesul.RésuméLe développement de nouveaux formalismes...

Accéder en ligne
Informatique

En préparation depuis le 20-09-2018
 thèse en cours de préparation

...CONNECTABLE OBJECT10.7. Traduction en formalismes logiques 205ID ITEM u CONNECTABLE OBJECT v ⊥ID ITEM v (∃name...

Accéder en ligne

Résultats 1 à 10