理论计算机科学 程序理论 释文 equality type constructor 等式类型构子
- irrotational
- irrotational field
- irrotational flow model
- irrotationality
- irrotational motion
- irrotational motion with circulation
- irrotational vector field
- irrotational wave
- Irr Ⅰ galaxy
- Irr Ⅱ galaxy
- IRS
- IRSA
- IR seeker
- I. R. Shafarevich
- I. R. Shafarevich (1923—2017)
- IR spectroscopy
- IRSTEA
- IR stimulated luminescence
- IRT
- IRTF
- IR transmission photography
- irtron
- IRTS
- IRTS空间红外望远镜
- Irtysh-Karaghanda Canal Water Transfer Project