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

相关作者

吴洪博
作品数：230被引量：479H指数：17
供职机构：陕西师范大学
研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
何华灿
作品数：243被引量：1,006H指数：18
供职机构：西北工业大学计算机学院
研究主题：泛逻辑 人工智能 泛逻辑学 数据挖掘 模糊推理
裴道武
作品数：78被引量：564H指数：15
供职机构：浙江理工大学理学院
研究主题：模糊逻辑 模糊推理 三I算法 蕴涵 R0代数
张胜礼
作品数：27被引量：42H指数：7
供职机构：兴义民族师范学院
研究主题：模糊集 模糊知识 模糊逻辑 模糊综合评判 中介
罗敏霞
作品数：52被引量：79H指数：4
供职机构：中国计量学院理学院
研究主题：泛逻辑 半群 伴随半群 伴随对 剩余半群