文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- pn junction electro-luminescence
- p n junction laser
- p-n junction laser
- pn junction laser
- PN junction photodiode
- pn junction reverse saturation current
- PN LED
- p-normal group
- PN or PIN detector materials
- PNPN thyristor
- PNPN闸流管
- P-NP problem
- p-n-p transistor
- pnp晶体管
- P-NP问题
- PNR
- PNR)
- PNRSV
- PNS
- P-N synergistic effect
- P-nuclear magnetic resonance spectrometry for pharmaceutical analysis
- PN和PIN探测器材料
- PN结
- p-n结
- pn结