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

词汇	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	colpoceles colpoceliocentesis colpoceliotomy Colpocentesis colpocephaly colpocervical colpocleisis colpocleisis, Le Fort operation colpocoeliotomia posterior colpocystitis colpocystocele colpocystoceles colpocystoplasty colpocystosyrinx colpocystotomy colpocystoureterocystotomy colpocysto ureterocystotomy colpocysto-ureterocystotomy colpocystoureterotomy colpocysto ureterotomy colpocysto-ureterotomy colpocytogram colpocytology colpoda Colpoda rnaupasi