理论计算机科学 可计算性与计算复杂性 释文 Kleene T-predicate 克林T谓词
- horizon of expectations
- horizon of the universe
- horizon plain
- horizon problem
- Horizon Report
- Horizon Research Consultancy Group
- horizon ring
- Horizon Scanning
- horizon, scope
- horizontal
- horizontal acceleration
- horizontal acceleration correction
- horizontal acoustic profiling method
- horizontal and vertical tandem mill
- horizontal angle
- horizontal arc
- horizontal axis
- horizontal axis wind turbine
- Horizontal Bar
- horizontal bar
- horizontal bar of Summer Special Olympics
- horizontal boring machine
- horizontal branch
- horizontal branch star
- horizontal-branch star