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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	水利工程水利工程养护修理水利工程地质勘察水利工程地质勘察测量水利工程基建投资水利工程基建投资筹集水利工程建设程序水利工程收费水利工程效益水利工程施工水利工程检查观测水利工程测量水利工程测量水利工程淹没处理水利工程环境影响评价水利工程管理水利工程经济分析水利工程综合经营水利工程规划水利工程财务分析水利工程费用水利工程运行维修费水利技术标准水利施工测量水利旅游效益

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