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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	谷盗科谷精草科谷蛾科谷蠹谷音米高梅公司类丹毒类书类书类似联想类商品比价指数类固醇类型图类型语言学类域论类微带线类推类新星类星体类星射电源类比类比表示类病毒类癌综合征类白血病反应

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