ADEPT
Subtitle: a heuristic program for proving theorems of group theory.
Publisher: Massachusetts Institute of Technology, Project MAC
Published: 1966
Place of publication: [Cambridge
Language: eng
Number of pages: 178
Subjects: ADEPT.; Automatic theorem proving.; Group theory -- Data processing.; Heuristic programming.
Notes: Bibliography: p. 173-175.
Thesis--Massachusetts Institute of Technology.