Tarski-Kuratowski algorithm
专有名词
英文释义
专有名词
- A nondeterministic algorithm that produces an upper bound for the complexity of a given formula in the arithmetical hierarchy and analytical hierarchy.
词源
Named after Alfred Tarski and Kazimierz Kuratowski.
0 次浏览
数据来源: Wiktionary