CORC

浏览/检索结果: 共2条,第1-2条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
Symbolic Manipulation Based on Deep Neural Networks and its Application to Axiom Discovery 会议论文
Anchorage, AK, MAY 14-19, 2017
作者:  Cai, Cheng-Hao[1];  Ke, Dengfeng[1];  Xu, Yanyan[2];  Su, Kaile[3,4]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/10
Symbolic manipulation based on deep neural networks and its application to axiom discovery 会议论文
Anchorage, AK, United states, May 14, 2017 - May 19, 2017
作者:  Cai, Cheng-Hao[1];  Ke, Dengfeng[1];  Xu, Yanyan[2];  Su, Kaile[3,4]
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/06


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