Reference25 articles.
1. ADEPT—A Heuistic Program for Proving Theorems of Group Theory;Norton,1966
2. Cohen, J., “An Interactive System for Proving Theorems in the Predicale Calculus,” Proc. Symp. Symbolic Algebraic Manipulation, 2nd 268–280 (1971).
3. Symbolic Integration;Moses,1967
4. “The Integration of a Class of Special Functions with Risch Algorithm,”;Moses;SIGSAM Bull.,1969
5. Tobey, R. G., Robrow, R. J., and Zilles, S. N., “Automatic Simplification in FORMAC,” Proc—Fall Joint Comput. Conf. (1965).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献