理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- high speed centrifugation enucleation method
- high-speed chromatography
- highspeed chromatography
- high-speed chromatography; fast chromatography
- high-speed comprehensive inspection train
- high speed confocal microscope
- high-speed confocal microscope
- high-speed countercurrent chromatography
- high speed countercurrent chromatography (HSCCC) for pharmaceutical analysis
- high-speed countercurrent chromatography，HSCCC
- high speed cutting
- high-speed development
- high speed digital signal integrity analyzer
- high speed disk duplicator
- high speed downlink packet access
- high speed downlink packet access, HSDPA
- high speed earthing switch
- high-speed encounter
- high speed forging press
- high speed governor with spring sheet
- high-speed grinding
- high speed holography
- high-speed image processing
- high speed imaging
- high speed imaging sensor