搜索筛选:
搜索耗时0.0922秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：CHENDong-huo，WANGLin-zhang，CUIJia-lin,
来源：东华大学学报（英文版） 年份：2008
Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies (inconsistencies often occur, especially in the early stage o...
相关搜索：
