CORC  > 暨南大学
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.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace