理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- gas chromatography-mass spectrometry (GC-MS)
- gas chromatography–mass spectrometry
- gas cloud
- gas coal
- gas coke
- gas-combustion square furnace
- gas compensation for underground oil storage in rock caverns
- gas composition analysis
- gas composition analyzer
- gas composition measurement by infrared spectroscopy
- gas compressibility factor
- gas compressor
- gas condensate
- gas condensing boiler
- gas constant
- gas content
- gas content in coal seam
- gas-cooled fast reactor
- gas-cooled reactor
- gas cooling
- gas cut
- gas cutting
- gas decomposition explosion
- gas dedusting of blast furnace ironmaking
- gas dehydration