理论计算机科学 可计算性与计算复杂性 释文 completeness criterion for the computably enumerable sets 计算可枚举集完全性准则
- cometary stream
- cometary tail
- cometary zone
- comet assay
- Comet Bennett
- comet catalogue
- comet cloud
- Comet de Chéseaux
- comet designation
- Comet Donati
- Comet Encke
- cometesimal
- comet exploration
- comet family
- comet finder
- comet group
- Comet Hale-Bopp
- comet halo
- comet head
- comet hunter
- Comet Hyakutake
- comet intercept mission
- Comet ISON
- comet-like activity
- comet-like dust tail