理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- evaluation of visualization
- evaluation of water conservancy planning
- evaluation of water resources development and utilization
- evaluation of water resources quantity
- evaluation on fire safety of structure
- evaluation procedures of the advisory bodies
- evaluation process
- evaluation report
- evaluation research
- evaluation result
- evaluation results combination
- evaluation service of agricultural meteorology condition
- evaluation standard for green industrial building
- Evaluation Standard for Green Office Building
- evaluation subject
- evaluation system
- evaluation system for candidate monks/nuns in ancient China
- evaluation system of remodeling existing buildings
- evaluation system of teacher professional ranks and titles
- evaluation theory
- Evaluation to the Dead
- evaluation value collection
- Evaluation standard for urban landscaping and greening
- evaluative conditioning reflex
- evaluator