“自动演绎”的意思、由来-百科全书

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	西汉南越王墓博物馆西汉南越王墓玉器西汉印花敷彩纱西汉明堂辟雍和王莽宗庙遗址西汉花罗西汉边郡西汉郡国西江西沙群岛西沙自卫反击战西河大鼓西泠印社西泽隆二西洋参西洛内，I. 西洞庭山西海郡故城遗址西涅克，P. 西涅莱，S. 西清古鉴西清古鉴西游记西湖二集西湖志西湖游览志馀

百科全书收录78206条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。