理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- kidney bean
- Kidney Channel of Foot Shaoyin
- kidney consumption
- kidney cutaneous region of foot shaoyin
- kidney disorder with cold painful waist
- kidney dominating bone
- kidney edema
- kidney essence
- kidney function test
- kidney governing inspiration
- kidney governing water metabolism
- kidney intumesce of Sciaenops ocellatus
- kidney is often deficient
- kidney meridian
- kidney qi
- kidney storing essence
- kidney storing will
- kidney yang
- kidney yin
- Kids Cartoon
- Kids Kingdom
- Kids Literature
- Kids Photography
- kids room
- KIE