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

词汇	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	line and tone combination line and trunk group line-and-wash drawing Lineang Lineang area line angle linea nigra line anorectal line antenna array linean tetrad linea nuchae inferior linea nuchae superior linea nuchae suprema Linea nuchalis inferior Linea nuchalis superior Linea nuchalis supraterminalis Linea nuchalis suprema Linea nuchalis terminalis linea obliqe posterior linea obliqua Linea obliqua linea obliqua cartilaginis thyreoideae linea obliqua cartilaginis thyroideae linea obliqua fibulae linea obliqua mandibulae