理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- Heart Sutra
- heart syncope
- heart urchin
- Heart wall
- heart wall
- heart wood
- heart yang
- heart yin
- HEASARC
- HEASoft
- HEAsoft
- heat
- heat-absorbing glass
- heat adaptation
- heat affected layer
- heat and electricity cogeneration cycle
- heat and masstransfer
- heat and moisture balance in livestock housing
- heat and power cogeneration
- heat and power cogeneration system
- heat apportionment method
- heat-assisted magnetic recording
- heat-assisted magnetic recording, HAMR
- heat balance in greenhouse
- heat barrier