recursive realizability

网络释义

1.	递归可实现性 ...，如果闭公式岁x，…丫x。F是可实现的. 这样的一个解释，称为递归可实现性(recursive realizability)，首先是由5 .C、K七e … www.chinabaike.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。