您要查找的是不是：
- formal semantic representation 形式语义表示
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- Locative circumstance is the semantic representation of background information in a clause. 处所环境是小句背景信息的语义表征,大多由处所介词短语加以体现。
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- Objective: To investigate the brain mechanisms of laterality and integration underlying semantic representation in Chinese-English bilinguals. 目的：探讨中英双语者两种语言词汇语义表征在大脑两半球的偏侧化及整合机制。
- Despite its commitment to deriving a syntactic representation (a-structure) from properties of a semantic representation, this is not a reductionist program. 尽管这种理论承诺论元结构的句法表达式从语义表达式特征中分化出来，但并不意味着它是一种简化的程序。
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- semantic representation language 语义表示法语言
- standard semantic representation 标准语义表示
- question semantic representation 问句语义表征
- semantic representation of Web information Web信息语义表示
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP，这是它具有正确性和数学严格性的基础。
- abstract of semantic representation 语义表示的抽象
- transformation of semantic representation 语义表示的转换
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- alternative semantic representation 选择语义表示, 选择语义表达
- internal semantic representation 内在语义表示
- consistency of semantic representation 表征一致性
- Research and Evaluation on Formal Semantic Description Techniques 形式语义描述方法研究进展与评价
- From the perspective of valence of NPs, the paper explores the syntactic and semantic representations of 'NP_L+NPs +VP'. 文章从NPs的配价出发 ,探讨了汉语中“NPL+NPs +VP”这种较为特殊的表达格式的句法语义关系。
