理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- cross-correlation method
- cross-correlation receiver
- cross-correlation spectrometer
- cross-correlation technique
- cross-correlation theorem
- cross correlator
- cross-country skiing
- cross-country skiing classic/free
- cross-country skiing classic technique
- cross-country skiing free technique
- cross country skiing of Winter Deaflympics
- cross-country skiing of Winter Special Olympics
- cross-country skiing routes
- cross coupling
- cross-coupling effect correction
- cross coupling noise
- cross coupling reaction
- cross-coupling reaction
- cross-cousin marriage
- cross-covariance function
- crosscram
- cross-cultural collaboration
- cross-cultural communication
- cross-cultural comparative Law
- cross-cultural comparison