Zobrazuji výsledky 1 - 2 z 2, doba hledání: 0,05 s. Upřesnit hledání
  1. 1
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Vydáno 2023
    Získat plný text
  2. 2
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Vydáno 2004
    Získat plný text

Vyhledávací nástroje: