理论计算机科学 程序理论 释文 π-calculus π演算
- compactifying
- compactifying distribution
- compact infrared source
- compacting
- compacting ability of powders
- compaction
- compaction age
- compaction grouting
- compaction of solid waste
- compaction ratio
- compact kernel
- compact kernel distribution
- compact lattice element
- compact leaf
- compact Lie algebra
- compact Lie group
- compact linear operator
- compactly convergent sequence
- compactly embedded subalgebra
- compactly generated group
- compactly generated lattice
- compactly generated space
- compactly generated topology
- compactly supported
- compact machinery