Maurice Margenstern
Mots 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
Génétique
Molécules recombinées
Bioinformatique
Exploration de données
Classification automatique
Preuves par récurrence
Récurrence implicite
Démonstrateur Spike