“formal semantics”的概念、定义、翻译、参考文献-科学参考

单词	formal semantics
释义	formal semantics Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。哲学逻辑释 formal semantics形式语义学逻辑学和语言学的交叉学科。又称逻辑语义学。 Mathematics formal semantics形式语义学 Computer 理论计算机科学程序理论释文 formal semantics形式语义学
随便看	太赫兹功率计太赫兹功能器件太赫兹单发探测太赫兹压缩编码成像太赫兹参量源太赫兹发射太赫兹器件太赫兹天文太赫兹安全检测太赫兹层析成像技术太赫兹差分光谱技术太赫兹差频激光器太赫兹成像太赫兹技术太赫兹折叠波导行波管太赫兹探测器太赫兹接收器太赫兹摄影太赫兹无损检测太赫兹时域光谱太赫兹时域光谱分析仪太赫兹时域光谱技术太赫兹检测器太赫兹气体激光太赫兹波

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。