Ցուցադրվում են 1 - 2 արդյունքները 2, հարցման ժամանակը: 0.04s Հստակեցնել արդյունքները
  1. 1
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Հրապարակվել է 2023
    Ստացեք ամբողջական տեքստը
  2. 2
    ADEPT: A Heuristic Program for Proving Theorems of Group Theory

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

    Հրապարակվել է 2004
    Ստացեք ամբողջական տեքստը

Որոնման գործիքներ: