中国科学院重庆绿色智能技术研究院机构知识库

浏览/检索结果: 共3条，第1-3条

帮助

限定条件	收录类别：EI    发表日期：2014

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition 会议论文 2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra, Portugal, July 7, 2014 - July 11, 2014 作者:  England, Matthew;  Bradford, Russell;  Chen, Changbo;  Davenport, James H.;  Maza, Marc Moreno;  Wilson, David Adobe PDF(557Kb)  |  收藏  |  浏览/下载：52/0  |  提交时间：2018/03/16
	The design and implementation of patent collaboration managing platform based on cloud architecture 会议论文 2014 5th IEEE International Conference on Software Engineering and Service Science, ICSESS 2014, Beijing, China, June 27, 2014 - June 29, 2014 作者:  Wang, Xiang;  Yang, Yong;  Lin, Xiaoguang;  Chen, Yongyuan;  Zhang, Ju Adobe PDF(293Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16
	A recursive decision method for termination of linear programs 会议论文 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014 作者:  Li, Yi Adobe PDF(409Kb)  |  收藏  |  浏览/下载：55/0  |  提交时间：2018/03/16