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

单词	formal semantics
释义	formal semantics Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。哲学逻辑释 formal semantics形式语义学逻辑学和语言学的交叉学科。又称逻辑语义学。 Mathematics formal semantics形式语义学 Computer 理论计算机科学程序理论释文 formal semantics形式语义学
随便看	体育服务认证管理办法体育本体论体育本质论体育权利体育民办非企业单位体育民族主义体育治理体育治理体系体育法体育法学体育法学研究会体育法律责任体育法治体育法治化体育测试器材体育测量与评价体育测量可靠性体育测量客观性体育测量有效性体育消费体育游戏体育片体育特长生体育现代化体育生活化

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