理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- divisible hull
- divisible integer
- divisible module
- divisible property
- divisible random variable
- divisible subgroup
- divisible variate
- division
- divisional application of patent
- divisional feeding system of electric traction
- division algebra
- division algorithm
- Divisional indemnify
- divisional works
- division bracket
- division by zero
- division equation
- division-free
- division groupoid
- division in extreme and mean ratio
- division in halves
- division into ecological suitable regions of Chinese crude medicinals
- division lemma
- division line
- division of agricultural technical measures