Le moteur de recherche
des thèses françaises
Maurice Margenstern
IdRefMots clés
FR
Problèmes NP-complets
Algorithmes
Isomorphisme de Curry-Howard
Enseignement
Mathématiques -- Philosophie
Logique mathématique non classique
Haptique
Multimodalité
Déficients visuels
Toucher
Handicapés visuels
Biologie moléculaire
Informatique
Génétique
Molécules recombinées
Bioinformatique
Exploration de données
Classification automatique
Preuves par récurrence
Récurrence implicite