术语 | atomic formula |
释义 | atomic formula 原子公式 In predicate calculus, after the free bits of an n bits predicate are filled in by terms, it becomes an atomic formula. 在谓词演算中,n位谓词的空位由项填入后就成为原子公式。 |
随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。