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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	年年代地层单位年代地层学年剩余价值年剩余价值率年希尧年度分类法年楚河年画年终清理年终结余年羹尧年羹尧年轮气候学年轮气候学年鉴年鉴年鉴学派年青的一代年龄年龄中位数年龄金字塔并协原理并发程序设计并合

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