理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- investigation and control of funds for economic crimes
- investigation and evaluation of Chinese water resources and their exploitation and utilization
- investigation and evaluation of coal resources
- investigation and evaluation of land resources
- investigation and evaluation of oil and gas resources strategic area
- investigation and governance for hidden danger
- investigation and research
- investigation behavior
- investigation by combining serial cases
- investigation clues
- investigation command
- investigation committee
- investigation for flight accident
- investigation for natural construction materials
- investigation led by information
- investigation measure
- investigation mechanism
- investigation mode
- Investigation of a little bird named Turlipan
- investigation of basic farmland
- investigation of disease natural history
- investigation of drug crimes
- investigation of earth materials
- investigation of fishery environment
- investigation of geological disaster