文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- fission reactor
- fission reactor chemistry
- fission reactor material
- fission recoil
- fission rocket
- fission saddle point
- fission-spectrum neutron
- fission threshold
- fission track
- fission track age
- fission track anneal
- fission track constraints on uplift and denudation
- Fission-Track Dating
- fission track dating
- fission track Dpar data
- fission track geological thermal history modelling
- fission track length
- fission track thermochronology
- fission yield
- fissiparism
- fissiparity
- fissium
- fissuration
- fissure
- fissure disasters in China