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

词条	自动演绎
释义	zidong yanyi 自动演绎(卷名：自动控制与系统工程) automatic deduction 　　见机器定理证明。
随便看	柏孜克里克千佛洞柏孜克里克石窟柏孜克里克石窟柏拉图柏拉图柏拉图柏拉图柏拉图柏拉图柏拉图柏拉图柏木柏林柏林会议柏林会议柏林分离派柏林剧团柏林危机柏林国立博物院柏林备忘录柏林大学柏林学派柏林德意志剧院柏林战役柏林战役

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