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

词汇	theorem proving by rule based system
释义	theorem proving by rule based system 基于规则系统的定理証明
随便看	cufos Cu fra Cu.fra cufram z Cufram Z cufraneb Cufroid cuft cu ft cu.ft cufta cu ft per lineal ft cu fts cug CUG Cuga Cu-Ga alloy cugabbreviation Cugand cugar beet cugat Cugat Cug, closed user group Cugeae Cugerone