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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	空间飞行器空间飞行环境空降空降作战空降兵空降训练穿刺穿孔卡片穿孔贝目（化石）穿心莲穿心莲内酯穿戴规制穿戴题纲穿插穿斗式构架穿洞遗址穿经穿越辐射穿越辐射探测器突击突厥突厥突厥文突厥文突厥石围栏和石雕人像

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