Anthony Hearn. REDUCE: A User-oriented Interactive System for Algebraic Simplification. AIM-57.
Anthony Hearn. REDUCE: A User-oriented Interactive System for Algebraic Simplification. Technical Report AIM-57, Stanford Artificial Intelligence Laboratory, Stanford, California, 1967.
Size 1017.6 kB - File type application/pdf