Norton, Lewis M. ADEPT - a Heuristic Program for Proving Theorems of Group Theory; Project MAC. MIT, Project MAC, thesis, October 1966; 178 pages. Price: $10.00 Add to Cart Item Details Ask a Question