搜索到 篇“ 形式演绎系统 “的相关文章

相关作者

吴洪博
作品数：230被引量：475H指数：17
供职机构：陕西师范大学
研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
何华灿
作品数：242被引量：1,001H指数：18
供职机构：西北工业大学计算机学院
研究主题：泛逻辑 人工智能 泛逻辑学 数据挖掘 模糊推理
裴道武
作品数：78被引量：558H指数：15
供职机构：浙江理工大学理学院
研究主题：模糊逻辑 模糊推理 三I算法 蕴涵 R0代数
杨晓斌
作品数：13被引量：74H指数：3
供职机构：上海财经大学应用数学系
研究主题：模糊逻辑 模糊推理 广义重言式理论 形式演绎系统 代换定理
张胜礼
作品数：27被引量：41H指数：7
供职机构：兴义民族师范学院
研究主题：模糊集 模糊知识 模糊逻辑 模糊综合评判 中介