-
1
ADEPT: A Heuristic Program for Proving Theorems of Group Theory
Foilsithe / Cruthaithe 2023Faigh an téacs iomlán
-
2
ADEPT: A Heuristic Program for Proving Theorems of Group Theory
Foilsithe / Cruthaithe 2004Faigh an téacs iomlán