CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Measuring the significance of inconsistency in the Viewpoints framework 其他
2013-01-01
Mu, Kedian; Jin, Zhi; Liu, Weiru; Zowghi, Didar; Wei, Bo
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/10
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging 其他
2009-01-01
Mu, Kedian; Jin, Zhi; Yue, Anbu; Liu, Weiru; Lu, Ruqian; Bell, David
收藏  |  浏览/下载:4/0  |  提交时间:2015/11/13
Clifford algebraic reduction method for automated theorem proving in differential geometry 其他
1998-01-01
Li, HB; Cheng, MT
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/12


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