当前位置：首页 > 名称
大约有20,862项符合查询结果项。（搜索耗时：0.1357秒）
为您推荐： 宗教生活的基本形式 维特根斯坦的生活形式 形式的起源 微分形式导论 形式逻辑 论思维形式与 方法
-
-
-
-
-
-
-
Z形式规约切片的研究
吴方君著2006 年出版185 页ISBN：7312013546本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
-
-
-
学科分类
出版时间