文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- J Anim Breed Genet
- Janiszewski
- Jan Josephszoon van Goyen
- Janko
- Jan Kochanowski
- Janko group
- Jan Kostra
- Jan Kubelik
- Jan Ladislav Dussek
- Jan Matejko
- Jan Mossin paradox
- Jan Mukarovsky
- Jan Neruda
- Jan-Ove Waldner
- Jan Peerce
- Jan Pieterszoon Sweelinck
- Jan Saudek
- Jansenism
- Jansenist
- Jansenist education
- Jansenists
- jansky
- Jansky crater
- Jansky noise
- Janssen crater