理论计算机科学 可计算性与计算复杂性 释文 quantified Boolean formula, QBF 量词布尔公式
- combined seed and fertilizer drill
- combined selection
- combined sewer
- combined spacecraft operation phase
- combined spicebush root
- combined spinal and epidural nerve block
- combined sprinkler and foam system
- combined sprinkler-foam system
- combined standard uncertainty
- combined starter
- combined station
- combined stress waves
- combined support
- combined technology of pond and wetland
- combined test
- combined three-electrode array
- combined tool
- combined toxicity
- Combined train
- combined transportation of open pit
- combined transport by air and land
- combined vaccine
- combined ventilation
- combined warping-sizing machine
- combined water