＞数理逻辑与数学基础＞递归论＞释义 μ-operator μ算子 mu-operator μ算子†
理论计算机科学 可计算性与计算复杂性 释文 unbounded search operator 无界搜索算子
- Ivan Vazov
- Ivan Vazov National Theatre
- Ivan Venediktovich Elagin
- Ivan Vladimirovich Michurin
- Ivan Vladislavić
- Ivan Yakovlevich Bilibin
- Ivan Yakovlevich Franko
- Ivan Yakovlevich Vishnyakov
- Ivan Zakharovich Surikov
- Ivan Ⅳ
- IVAP
- Ivar Lo-priset
- Ivar Malinovski
- IVB
- I-V characteristic curve
- IV characteristic curve
- IVD
- IVDD
- Iversen
- Iversen-Beurling-Kunugi theorem
- Iversen theorem
- Iverson
- Iverson brackets
- IVFZ
- I. V. Girsanov