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

相关作者

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