Näytetään 1 - 2 yhteensä 2 tuloksesta, hakuaika: 0,12s Tarkenna hakua
  1. 1
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Julkaistu 2023
    Hae kokoteksti
  2. 2
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Julkaistu 2004
    Hae kokoteksti

Työkalut: