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

单词	production system for theorem proving
释义	production system for theorem proving [计] 定理证明的产生式系统
随便看	Sagebrush State sagebrush states sage cheese sage chicken sage chickens sage clary oil sage cock sage cocks sagecraft Sage Creek Sage CRM saged sage Derby sageer sage extract sage-femme sage green sage-green sage green paint sage greens sage-greens sage grouse sage-grouse sage grouses sage-grouses 自古兴亡不由人自古兴替，实在官人自古冶容多破家自古功名亦苦辛，行藏终欲付何人。自古功名属少年自古华山一条路自古及今能虚成名于天下者，无有。自古及今，不施而得报，不劳而有功者，未之有也。自古及今，佳人才子，少得当年双美。自古及今，穷其下能不危者，未之有也席代席入り席入リ席巻席捲席料席書き席書キ席末席次