CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
面向任务的群机器人系统分层自组织规划研究 学位论文
博士: 中国科学院沈阳自动化研究所, 2016
作者:  冷雨泉
收藏  |  浏览/下载:118/0  |  提交时间:2016/12/15
Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:  Chen, Changbo;  Maza, Marc Moreno
收藏  |  浏览/下载:17/0  |  提交时间:2018/03/15


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