理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- urban green space system of Baoji
- urban green space system planning
- urban green space system planning of Chengdu
- urban greenway
- urban groundwater management
- urban growth boundary
- urban growth machine
- urban heating system planning
- urban heat island effect remission materials
- urban heat island intensity
- urban heterogeneity
- urban high voltage corridor greenbelt
- Urban History
- urban history
- urban household registration
- urban housing economy
- urban hydrology
- Urbanik
- urban industrial agglomeration
- urban industrial park
- urban industrial structure
- urban industrial zone
- urban infrastructure
- urban inner transportation hub planning
- urban innovation of china