Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Etienne
Duchesne
IdRef
Mots clés
FR
Théorie de la démonstration
Logique linéaire
Sémantique dénotationnelle
Logique linéaire indexée
Géométrie de l'interaction
Logique
Géométrie
Boole, Algèbre de
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)