文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Gossamer Ring
- Gosses Bluff crater
- Gosset
- gossip
- gossiping
- Gossip of Sunbather
- Gossips
- Gossips from the Next-doors
- Gossips in the Legume Arbour
- Gossips of Customs: A Collection of Anton Chekhov's Short Stories
- Gossips of Imperial Librarians
- Gossip under the Lamp
- gossypol
- gossypose
- Gosudarstvennyi ordena Lenina Krasnoznamionnyi Lyotno-Ispytatelnyi Tsentr imeni V.P.Chkalova
- Gotar lens
- Go Tell It on the Mountain
- Got Enlightened on Mount Xiang
- Gotha
- Gothic
- Gothic Alliance
- Gothic alphabets
- Gothic architecture
- Gothic art
- Gothic costume