QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 类型学视野下的广义名词谓语句框架 其他 2015-02-01 张姜知; ZHANG Jiang-zhi; 郑通涛; ZHENG Tong-tao 收藏  |  浏览/下载：4/0  |  提交时间：2016/02/25 名词谓语句  nominal predicate sentence in a broad sense  系词  copular  名动有别  nouns and verbs are dividable  语言类型学  linguistic typology   Verifying Interaction between Methods in Classes 其他 2015-01-01 Hu, Tingting; Wang, Shuling; Qiu, Zongyan 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 Object-orientation  Algebraic specification  Abstract predicates  Verification  Behavioral subtyping  SPECIFICATIONS  CHECKING   Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components 其他 2014-01-01 Hong, Ali; Liu, Yijing; Qiu, Zongyan 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 Component  Specification  Verification  Abstract predicate  Axiom  MVC  SEPARATION LOGIC  VERIFICATION  SPECIFICATION   Axioms and abstract predicates on interfaces in specifying/verifying OO components 其他 2014-01-01 Hong, Ali; Liu, Yijing; Qiu, Zongyan 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 语义角色视角下的谓词同义词辨析 学位论文 2006, 2006 张占山 收藏  |  浏览/下载：3/0  |  提交时间：2016/02/14 谓词同义词  语义角色  语义属性  predicate synonymy  thematic-role  semantic feature