搜索到 篇“ 证明论 “的相关文章

相关作者

陈荣
作品数：156被引量：129H指数：6
供职机构：大连海事大学
研究主题：众包 SIMULINK 测试用例 单词 数据集
周志荣
作品数：35被引量：13H指数：2
供职机构：中南财经政法大学哲学院
研究主题：逻辑 语义学 客观性 维特根斯坦 塔斯基
孙吉贵
作品数：210被引量：2,275H指数：17
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
马明辉
作品数：23被引量：20H指数：3
供职机构：西南大学政治与公共管理学院逻辑与智能研究中心
研究主题：模态逻辑 克里普克 逻辑 弗雷格 逻辑概念
姜云飞
作品数：112被引量：507H指数：15
供职机构：中山大学信息科学与技术学院软件研究所
研究主题：人工智能 基于模型诊断 专家系统 规划图 遗传算法