英语词汇“backward production system for theorem proving”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	Taylor instability taylor instabillity Taylor interpolation Tayloriolideae Taylor iris knife Taylor Is Taylorism taylorisms taylorist tayloristic taylorists taylorite Taylorization Taylorize taylor-james Taylor, James Taylor, James Bayard Taylor, Jeremy Taylor Johnson Tempeament Analysis taylor-johnson tempeament analysis Taylor,Joseph Deems Taylor-Orowan dislocation Taylor paid me ten too many dollars Taylor Park Res Taylor percussion hammer