Symbolic manipulation based on deep neural networks and its application to axiom discovery | |
Cai, Cheng-Hao[1]; Ke, Dengfeng[1]; Xu, Yanyan[2]; Su, Kaile[3,4] | |
会议日期 | May 14, 2017 - May 19, 2017 |
会议地点 | Anchorage, AK, United states |
URL标识 | 查看原文 |
内容类型 | 会议论文 |
URI标识 | http://www.corc.org.cn/handle/1471x/4311835 |
专题 | 暨南大学 |
作者单位 | 1.[1] National Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences, Beijing, China 2.[2] School of Information Science and Technology, Beijing Forestry University, Beijing, China 3.[3] School of Information and Communication Technology, Griffith University, Brisbane, QLD, Australia 4.[4] Department of Computer Science, Jinan University, Guangzhou, China |
推荐引用方式 GB/T 7714 | Cai, Cheng-Hao[1],Ke, Dengfeng[1],Xu, Yanyan[2],et al. Symbolic manipulation based on deep neural networks and its application to axiom discovery[C]. 见:. Anchorage, AK, United states. May 14, 2017 - May 19, 2017. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论