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

相关作者

陈荣
作品数：146被引量：125H指数：6
供职机构：大连海事大学
研究主题：众包 单词 数据集 测试用例 差分进化算法
孙吉贵
作品数：209被引量：2,264H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
马明辉
作品数：23被引量：20H指数：3
供职机构：西南大学政治与公共管理学院逻辑与智能研究中心
研究主题：模态逻辑 克里普克 逻辑 弗雷格 逻辑概念
姜云飞
作品数：112被引量：515H指数：15
供职机构：中山大学信息科学与技术学院软件研究所
研究主题：人工智能 基于模型诊断 专家系统 规划图 遗传算法
张传权
作品数：29被引量：1H指数：1
供职机构：松滋市第一中学
研究主题：高考 优秀作文点评 高考试题 分论点 科技文阅读