ADEPT

a heuristic program for proving theorems of group theory.

By Lewis Mark Norton

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1966

Publisher

Massachusetts Institute of Technology, Project MAC

Language

eng

Pages

178

Description:

subjects: ADEPT, Automatic theorem proving, Data processing, Group theory, Heuristic programming