理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Logistics intelligent distribution system
- logistics management
- logistics management for books
- logistics network
- logistics network planning
- logistics of agricultural products
- logistics of hazardous material
- logistics packaging
- logistics park
- Logistics Park Chicago，USA
- logistics park of express service
- logistics park planning
- logistics performance index
- logistic spiral
- logistics planning
- logistics property
- logistics public information platform
- logistics scheduling
- logistics service
- logistics service building of society
- logistics strategy planning
- logistics strength
- logistics support analysis program for aircraft equipment
- logistics system
- logistics system engineering