理论计算机科学 程序理论 释文 structural operational semantics 结构化操作语义
- Hagiwara Yusuke
- Hagongda
- Hague Academy of International Law
- Hague Conference on Private International Law
- Hague Peace Conferences
- Hague Rules
- Hague School
- Hague-Visby Rules
- Hag variety
- Hahaqiang opera
- Ha-Ha-Wall
- Hahn
- Hahn Banach theorem
- Hahn-Banach theorem
- Hahn crater
- Hahn decomposition
- Hahn decomposition theorem
- Hahn extension theorem
- Hahn-Metcalf drift tube
- Hahn, Otto
- Hahn polynomial
- HAHR
- Hai'an Shanmai
- Hai'an Shi
- Haibao Pagoda