“Craig’s interpolation theorem”的概念、定义、翻译、参考文献-科学参考

单词	Craig’s interpolation theorem
释义	Craig’s interpolation theorem Computer A theorem that provides an answer to the question of whether an interpolant I exists such that given a formula A ⇒ B then both A ⇒ I and I ⇒ B are valid.
随便看	intercept interception intercept ratio intercept time interconnecting feeder interconnection interconnector Intercontinental Ballistic Missile intercooler intercostal muscles intercrystalline boundary intercrystalline porosity interdeck access ladder interdeck light shade interdependence interdependent utility interdigital transducer interdigitated capacitor interdigitating interdisciplinarity interelectrode capacitance interest interest-elasticity of the demand for money interest equalization tax interest payments

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。