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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	鼓子词鼓子词鼓打铃鼓曲研究鼓板鼓泡反应器鼓泡塔鼓胀鼓藻属鼓词鼓词鼓风器鼓风炉鼠兔属鼠咬热鼠妇属鼠害鼠李科鼠李糖鼠疫鼠道排水鼠鲨目鼠鸟目鼠 鼠目

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