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

相关作者

袁毓林
作品数：216被引量：3,637H指数：34
供职机构：北京大学
研究主题：汉语 现代汉语 语义 实性 论元结构
张继军
作品数：47被引量：65H指数：5
供职机构：山东农业大学信息科学与工程学院
研究主题：PETRI网 状态转换图 上下文无关语言 PETRI网模型 化简
李蔚妍
作品数：23被引量：24H指数：2
供职机构：山东农业大学信息科学与工程学院
研究主题：图形界面 CSS 教学改革 一阶谓词逻辑 推理法
陈振宇
作品数：88被引量：479H指数：11
供职机构：复旦大学中国语言文学系
研究主题：汉语 现代汉语 再说 反预期 副词
夏年喜
作品数：36被引量：58H指数：5
供职机构：首都师范大学政法学院哲学系
研究主题：DRT 逻辑学家 逻辑学 凯恩斯 自然语言逻辑