理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- Hangao Poetic Talks
- hangar
- hangar fire
- Hangayn Nuruu
- Hang Daopo
- hang dyeing
- Hang E
- Hangenberg event
- hanger
- hanger-on of an acristocrat in ancient China
- hanger tube
- hangfire
- Hanggao
- Hanggin Houqi
- Hanggin Qi
- hang gliding
- Hanghe Xian
- Hang Huai
- hanging a live dragon
- hanging bridge for inclined shaft
- Hanging Clouds
- Hanging-coffin Burials of the Bo People
- Hanging garden of Babylon
- Hanging Gardens
- hanging glacier