当前位置:首页 > 名称
大约有483,460项符合查询结果项。(搜索耗时:0.4903秒)
为您推荐: 伟大的字母 从a到z字母表 x的悲剧 悲剧的诞生 title悲剧的诞生 大字版 大国政治的悲剧 修订版 title大国政治的悲剧 修订版
-
-
-
-
-
-
-
-
-
-
Z形式规约切片的研究
吴方君著2006 年出版185 页ISBN:7312013546本书包括基于依赖性分析的Z形式规约切片及形式化描述,基于关系演算的Z形式规约切片,变量定义和使用情况的探讨,Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
学科分类
出版时间