大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 基于归结方法的自动推理
名称 基于归结方法的自动推理
索引号 608309
分类号
(| 08 环境公报)
作者 刘叙华、
出版社 北京 : 科学出版社, 1994.2
ISBN 7-03-003927-0
页数 499页 ; 20cm
价格 CNY16.90
标签
简介
注解 中国科学院出版基金资助出版 刘叙华,吉林大学任教 以归结方法为主线,介绍在经典逻辑、模糊逻辑、非单调逻辑和模态逻辑中的自动推理方法・