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

单词	formal semantics
释义	formal semantics Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。哲学逻辑释 formal semantics形式语义学逻辑学和语言学的交叉学科。又称逻辑语义学。 Mathematics formal semantics形式语义学 Computer 理论计算机科学程序理论释文 formal semantics形式语义学
随便看	政务信息安全基础设施体系政务信息安全技术保障体系政务信息安全社会服务体系政务信息安全等级保护政务信息安全运行管理体系政务信息服务政务信息表示政务信息资源元数据规范政务信息资源目录标准体系政务公开政务办公自动化政务安全技术政务安全服务政务安全认证技术政务官政务应用支撑技术政务微信政务微博政务拨号接入政务支撑服务标准政务数字签名政务数据交换共享平台政务服务用户行为分析系统政务流程再造政务电子文件管理

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