Descripteurs
Documents disponibles dans cette catégorie (1)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité P13063 Périodique périodique Archives documentaire Disponible
