搜索到 篇“ CONTAINS “的相关文章

相关作者

吴瑕
作品数：8被引量：19H指数：3
供职机构：吉林大学
研究主题：命题逻辑 人工智能 模态逻辑 定理证明 定理机器证明
殷明浩
作品数：53被引量：251H指数：10
供职机构：东北师范大学
研究主题：人工智能 知识编译 启发式搜索 SAT问题 上界
刘雪平
作品数：1被引量：0H指数：0
供职机构：吉林大学
研究主题：B+ XML查询处理 XML 结构查询 索引研究
吕帅
作品数：75被引量：175H指数：9
供职机构：吉林大学
研究主题：规划方法 知识编译 可满足性 公理 命题逻辑
刘磊
作品数：380被引量：1,206H指数：16
供职机构：吉林大学
研究主题：程序设计 本体 检定装置 汽车 营运汽车