理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- martial art court
- Martial Arts Novels
- Martial Aural Skills
- Martial Dance of Tiao Ji Mo
- Martial Flexibility
- Martial Hardness
- Martial Laws
- Martial Lightness
- martial male role
- Martial Visual Skills
- Martian atmosphere
- Martian dust storm
- martian invasion: the panic of the american by radio broadcasts
- Martian meteorite
- Martian moon
- Martian opposition
- Martian probe
- Martian satellite
- Martianus
- Martian year
- Martin
- Martina Hingis
- Martin Alfred Hansen
- Martin Allen Klein
- Martin Amis