[数]?原始递归谓词
... evaluable predicate [计] 可估价谓词... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 ...
?原始递归渭词
原始递归渭词
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。