|
|||||
|
|
Functional programming concepts and straight-line programs in computer algebra |
|
| Affiliation: | 1. Tencent AI Lab, Shenzhen, China;2. Baidu Inc, Beijing, China;3. Department of Systems Engineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |