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

单词	formal semantics
释义	formal semantics Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。哲学逻辑释 formal semantics形式语义学逻辑学和语言学的交叉学科。又称逻辑语义学。 Mathematics formal semantics形式语义学 Computer 理论计算机科学程序理论释文 formal semantics形式语义学
随便看	移动智能监测移动最小二乘近似移动服务移动机器人移动机械噪声限值移动极差移动极差控制图移动模架法移动求和过程移动游戏移动源大气污染治理移动源排放控制制度移动源环境治理移动点移动狭缝法移动瓶颈法移动电子商务移动电子政务移动电话移动电话交换局移动界面电泳移动的移动目标搜索移动知识管理移动磁场法

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