理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- modified function
- modified gear/profile modified gear
- modified German mounting
- modified gradient projection method
- modified gravitationed theory
- modified gravity
- modified horseshoe mounting
- modified Hubble profile
- modified isochronal test
- modified isochrone method
- modified isothermal sphere
- modified Julian date
- modified Korte-weg-de Vries equation
- modified Lax-Phillips conjecture
- modified lignin adsorbent
- modified logarithmic integral
- modified lottery problem
- modified Mathieu equation
- modified Mathieu function
- modified Mathieu function of the first kind
- modified Mathieu function of the second kind
- modified Mathieu function of the third kind
- modified mean
- modified method
- Modified Newtonian Dynamics