论文部分内容阅读
用于自动自然演绎证明中的启发式和技术
【机 构】
：
大学应用数学系
【出 处】
：
第四届中国人工智能联合学术会议
【发表日期】
：
1996年期
其他文献
该文提出了一类递阶智能多目标预测控制策略及其一理论框架，试图运用多目标优化技术、人工智能技术以及广义预测控制技术相互结合去解决控制领域中的实际应用问题。针对大型复
从理论上讲我并不赞同主流教材这一提法。如果非要谈什么是主流教材?我认为主流教材不是预先设定的,只有那些能够培养学生的学习能力、创新能力、能够体现素质教育的教材才可
当前国内经济发展已经步入了转型期,但是前期经济高速增长带来的环境问题已经严重威胁到了人民群众的身体健康,环境问题亟待解决尤其是县域环境治理依然无法找到经济发展和环