Résultat(s) 1 - 2 résultats de 2, Temps de recherche: 0,05s Affiner les résultats
  1. 1
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

    ADEPT: A Heuristic Program for Proving Theorems of Group Theory par Norton, Lewis Mark

    Publié 2023
    Accéder au texte intégral
  2. 2
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

    ADEPT: A Heuristic Program for Proving Theorems of Group Theory par Norton, Lewis Mark

    Publié 2004
    Accéder au texte intégral

Outils de recherche: