decidability problem 可判定问题
理论计算机科学 可计算性与计算复杂性 释文 decidable problem 可判定问题
- OIRT
- O-isopropyl-N-ethyl thionocarbamate
- OISTAT
- OIT
- Oita-ken
- Ojibway
- Ojibwe
- Ojiya-chijimi, Echigo-jofu: techniques of making ramie fabric in Uonuma region, Niigata Prefecture
- O. Jrisch
- OK
- Okadaic acid
- okadaic acid
- okada's jelly tester
- Okada Toshiki
- Okada Yoshitomo
- Oka Kiyoshi
- Okakura Tenshin
- Okamoto Shunzō
- Okamoto Tarō
- Okamura Hiroshi
- Okamura Yasuji
- Oka niobium deposit
- Okapi Wildlife Reserve
- Oka principle
- Oka River