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

单词	程序语义学
释义	程序语义学 Encyclopedia 文学语义学释 Procedural Semantics程序语义学计算机科学和人工智能研究领域中的一个概念。它并不是一种严格的语言学理论，而是计算机学界处理语义理解问题的一种方法和视角。
随便看	不可滑[移]位错不可滑移位错不可满足不可满足公式不可满足公式组不可满足性不可满足的不可演绎性不可演绎性证明不可燃性不可用性不可电解的不可直接分解格不可直接分解群不可知论不可确定的不可磨灭的不可积性不可积性准则不可积方程不可积方程组不可积的不可积系统不可称重的不可称量性

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