术语 | wellformed formula(WFF) |
释义 | wellformed formula(WFF) 合适公式,合式定则 A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax. 一个合法的谓词演算表达式,即谓词演算语法所允许的公式。 |
随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条,基本涵盖了全部常用计算机术语的翻译及用法,是计算机学习及翻译工作的有利工具。