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

单词	formal semantics
释义	formal semantics Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。哲学逻辑释 formal semantics形式语义学逻辑学和语言学的交叉学科。又称逻辑语义学。 Mathematics formal semantics形式语义学 Computer 理论计算机科学程序理论释文 formal semantics形式语义学
随便看	富尔顿空缺富尔顿，R. 富尘埃原初星系富尼耶，P. 富山富山县富川瑶族自治县富川盛道富布赖特法富布赖特越南问题听证会富布赖特，J.W. 富平县富平县阿宫剧团富度参数富度指数富度级富弼富恩特斯，C. 富恩特斯，F.de 富拉尔基区富拉尔基城市总体规划富拉尔基热电厂富拉尼人富拉尼帝国富拉尼语

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