文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Mark Semyonovich Donskoy
- Mark Sergeevich Kharitonov
- marks length printing device
- Mark Spitz
- Markstein length
- Mark Strand
- Mark Thompson
- Mark Twain
- markup language
- Markus
- Markuschevich basis
- Markushevich
- Markush structure
- Markus Lüpertz
- Marlene Dietrich
- Marlinski
- Marlon Brando
- Marmas
- marmosets and tamarins
- Marne
- Marnyi Stone
- Marok Kotsiubynsky
- Maroni River
- Maronites
- Maroon War