您要查找的是不是：
- An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics 一种基于模块单子语义的动态程序切片方法
- monadic semantics 单子语义
- Likewise, monadic Boolean algebras supply the algebraic semantics for S5. 类似的，一元布尔代数为 S5 提供了代数语义。
- This is the plane of the Monad, or oversoul. 这是单体层，或超灵层。
- The lexical semantics thereby become their core. 在这裹，语义词典成了核心中的核心。
- The research of image semantics is a new field. 图像语义是研究图像模式识别与图像检索的一个新理论。
- "Semasiology" is a variant name for "semantics". “Semasiology”是“semantics”的异名。
- WAITFOR does not change the semantics of a query. WAITFOR不更改查询的语义。
- ETC: A Review of General Semantics. 普通语义学评论。
- This may look like just semantics, but it matters. 这个看上去可能有点咬文嚼字，但是它很重要。
- Semasiology is a variant name for semantics. Semasiology 是 Semantics 的异名。
- The syntax and semantics of FDDL are given. 给出了FDDL的语法和语义，研究了FDDL的推理机制。
- Hence S5-algebra is a synonym for monadic Boolean algebra. 所以 S5-代数 是一元布尔代数的同义词。
- The semantics of application layerare also parsed. 对应用层，分析其语义。
- Monadic Boolean algebras have an important connection to topology. 一元布尔代数与拓扑学有重要联系。
- Semantics is one of the most controversial branches of linguistics. 这段话的简单翻译：语义学是语言学最有争议的一个分支。
- Monadic Boolean algebras also have an important connection to modal logic. 一元布尔代数还与模态逻辑有重要联系。
- Semantics: examines how meaning is encoded in a language. 语义学：考察的是意义如何在语言中编码。
- Describe the purpose and semantics of the deployment descriptor. 描述部署描述符的用途和语义。
- Semantics is a subject studying the meaning of language. 语义学是研究语言意义的一门学科。
