＞数理逻辑与数学基础＞递归论＞释义 μ-recursive function μ递归函数
理论计算机科学 可计算性与计算复杂性 释文 μ-recursive function μ递归函数
- moving observer technique
- moving part
- moving particle semi-implicit method
- moving picture expert group
- moving picture expert group,MPEG
- moving point
- moving range
- moving range control chart
- moving reference system
- moving shot
- moving sidewalk
- moving singularities
- moving slit method
- moving sofa problem
- moving space
- moving summation process
- moving system
- moving target detection
- moving target detection of SAR
- moving target indication
- moving target indication radar
- moving teaching system
- moving trihedral
- Moving type of Residential area
- moving walk