文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- merger rate
- merger remnent
- merger scenario
- merger tree
- merge sort
- merging
- merging algorithm
- merging galaxy
- merging star
- Mergui Archipelago
- Mergui Islands
- mericarp
- meridian
- Meridian Acupoint Drawing to Grasp Easily
- meridianal isomer
- meridian altitude
- meridian angle
- meridian astrometry
- meridian astronomy
- meridian catalogue
- Meridian Circle
- meridian circle
- meridian circulation
- meridian curve
- meridian ellipse