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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	蛸蛸科蛹油蛾螺科蜀蜀蜀洛朔党争蜀绣蜀语蜀锦蜀锦蜀锦蜀锦谱蜂巢组织蜂桶寨自然保护区蜂毒蜂猴蜂窝组织炎蜂窝织炎蜂窝结构蜂箱和蜂具蜂虎科蜂鸟科蜂鹰蜂鼓

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