“形式语义”的概念、定义、翻译、参考文献-科学参考

单词	形式语义
释义	形式语义 Encyclopedia 理学形式语义释 formal semantics形式语义人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。
随便看	蔷薇园蔷薇处处开——朱逢博独唱歌曲选蔷薇属蔷薇果蔷薇科蔷薇辉石蔷薇醇蔷薇霉素蔺相如蔻蔽膝蕃兵蕃坊蕃学蕃客墓蕃瓜弄住宅区蕅益智旭蕈形泡沫蕈树蕈树科蕈样恶疮蕈样肉芽肿蕈毒碱蕉叶贝蕉城区

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