primitive recursive predicate 原始递归谓词
理论计算机科学 可计算性与计算复杂性 释文 primitive recursive predicate 原始递归谓词
- Xu Mi
- Xu Mian
- Xu Ming
- Xu Mingcai
- Xu Mingshan
- Xu Mingyi Lei'an
- Xumi Shan
- Xumishan Grottoes Scenic and Historic Area
- Xumishan grottoes scenic area
- Xu Muyun
- Xu Nanping
- Xunbila River
- Xundian Huizu Yizu Zizhixian
- Xunhua Salazu Zizhixian
- Xun Huisheng
- Xu Nianci
- X unit
- X-unit
- Xun Jiang
- Xunjiansi
- Xunke Xian
- Xun Ling
- Xun Lingxiang
- Xun Shu
- Xun Shuang