＞数理逻辑与数学基础＞递归论＞释义 Turing reducibility 图灵可归约性 Turing reducibility 图灵可归约性
理论计算机科学 可计算性与计算复杂性 释文 Turing reducibility 图灵归约
- international fisheries treaties
- International Food Policy Research Institute
- International Forum on Higher Education
- International Forum on Police Education Cooperation
- International Frequency Registration Board
- International Fund for Agriculture Development
- International Fund for Agriculture Development，IFAD
- INTErnational Gamma-Ray Astrophysics Laboratory
- International Gamma-Ray Astrophysics Laboratory
- international gateway port
- international geomagnetic disturbed day
- international geomagnetic quiet day
- International Geomagnetic Reference Field
- International Geophysical Cooperation
- International Geophysical Year
- International geophysical year
- International Geosphere-Biosphere Programme
- international geosphere-biosphere programme
- international geothermal association
- International Go Federation
- International Golf Federation
- International Gothic
- International Grains Agreement
- International Grassland Congress
- International Gravity Standardization Net 1971