decidability problem 可判定问题
理论计算机科学 可计算性与计算复杂性 释文 decidable problem 可判定问题
- Giausar
- gib
- gibbane
- gibberellane
- gibberellane; gibbane
- gibberellic acid
- gibberellin
- gibberellin A3
- gibberenllin GA
- gibberic acid
- gibbon
- Gibbons-Hawking multi-center metric
- Gibbons-Hawking多中心度规
- gibbous
- gibbous moon
- Gibbs
- gibbs
- Gibbs adsorption
- Gibbs adsorption equation
- Gibbs adsorption isotherm
- Gibbs constant
- Gibbs crater
- Gibbs-Curie-Wulff principle
- Gibbs distribution
- Gibbs Duhem equation