理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- inequation
- inequation of evolution
- inequigranular
- inequilateral
- inequivalence
- inequivalent
- inequivalent complex
- inequivalent valuation
- Inernational Council of Museums
- inerratic
- inert
- inertance
- inert complex
- inert gas
- inertia
- inertia active-passive radar homing combined guidance
- inertia active radar homing combined guidance
- inertia celestial combined guidance
- inertia cone crusher
- inertia effect
- inertia field
- inertia force
- inertia form
- inertia friction welding
- inertia group