>

semi-computable predicate

📖 中文释义

  1. [计] 半可计算谓词
S 字母词表