【基于归结方法的自动推理】刘叙华科学.pdf
中国科学院科学出版基金资助出版 基于归结方法的自动推理 刘叙华著 4
谨以此书纪念我的老师 王湘浩教授
该向支持、帮助过他的老师、学长及学生们和一些团体表示他的谢 意.1我首先向我的老师王湘浩教授表示我的衷心的感谢和尊敬.我大学毕业以后在学问之道上,一直受到王湘浩教授的关怀和指 导,没有他的教海,显然不会有本书问世,我向陆汝铃教授表示我的诚挚的谢意.没有他的鼓励和推荐,也不会有这本书,陆教授的学风和治学态度始终积极地影响着我 写完这本书,我要特别感谢国家自然科学基金委员会的支持,从1982年设 立基金至今,我的两个研究课题连续六次获得基金的支持(“定理 机器证明”课题连续四次,“模糊推理”课题连续两次),没有国家自 然科学基金的支持,我的这种基础理论研究是很难坚持下来的.