搜索到 篇“ 一阶谓词逻辑 “的相关文章

相关作者

袁毓林
作品数：217被引量：3,726H指数：34
供职机构：北京大学
研究主题：汉语 现代汉语 语义 实性 论元结构
张继军
作品数：47被引量：65H指数：5
供职机构：山东农业大学信息科学与工程学院
研究主题：PETRI网 状态转换图 上下文无关语言 PETRI网模型 化简
李蔚妍
作品数：23被引量：24H指数：2
供职机构：山东农业大学信息科学与工程学院
研究主题：图形界面 CSS 教学改革 一阶谓词逻辑 推理法
夏年喜
作品数：36被引量：58H指数：5
供职机构：首都师范大学政法学院哲学系
研究主题：DRT 逻辑学家 逻辑学 凯恩斯 自然语言逻辑
耿霞
作品数：35被引量：74H指数：6
供职机构：山东农业大学
研究主题：PETRI网 状态转换图 二叉树 麦穗 教学质量