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

单词	production system for theorem proving
释义	production system for theorem proving [计] 定理证明的产生式系统
随便看	big dress big drink Big Drum Big Dry big dumper bigdye Big E big-eared big-eared bat big-eared bats big ears Big Easy big eater big eaters Big Eau Pleine Reservoir Big Eight big eight accounting firms Big Eight CPA Firms big eight firms Big Eightmile Island bigej channel bigej i. big elk creek bigelman bigelow 搭起戏台卖螃蟹，买卖不大，架子倒不小搭锯就见末搭鹊桥搴旗斩馘，讨逆除暴搴衣留我住，送酒为郎羞。携手倚梯栏，欲下还留语。心事万千重，说得三分否。携手共惜芳菲节，莺啼锦花满城阙。行乐逶迤念容色，色衰只怨君恩歇。凤笙龙管白日阴，盈亏自感青天月。携手等欢爱，夙昔同衾裳。携手还携手，断肠还断肠。携琴上高楼，楼虚月华满。弹著相思曲，弦肠一时断。 32046 32047 32048 32049 32050 32051 32052 32053 32054 32055