HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
一阶逻辑论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
基于目标演绎距离的
一阶逻辑
子句集预处理方法
第217-221页
关键词: 一阶逻辑 人工智能 子句集预处理 演绎距离 冗余子句
2020年第03期
《计算机科学》
基于
一阶逻辑
的可满足求解方法研究进展
第2119-2126页
关键词: 形式化验证 一阶逻辑 布尔可满足 可满足性模理论
2019年第12期
《计算机工程与科学》
一阶逻辑
中基于稳定度的项评估方法
第183-190页
关键词: 一阶逻辑 自动定理证明器 项评估 启发式策略 herbrand语义特征
2019年第11期
《计算机工程》
一种基于
一阶逻辑
的软件代码安全性缺陷静态检测技术
第108-129页
关键词: 软件代码安全性缺陷 一阶逻辑 模式路径 静态分析 形式化描述
2014年第01期
奎因逻辑思想疏析
第55-57页
关键词: 外延主义 一阶逻辑 量词 变元
2005年第03期
《晋阳学刊》
基于本体论的电子商务知识描述语言
第297-300页
关键词: 本体论 电子商务 描述逻辑 框架系统 一阶逻辑
2005年第02期
《电子学报》
一阶逻辑
与集合论
第72-74页
关键词: 集合论 一阶逻辑 一致性 理论结构
2004年第04期
《邯郸职业技术学院学报》
关于数理逻辑中的可靠性、完备性及协调性的讨论
第1-4页
关键词: 数理逻辑 可靠性 完备性 协调性 命题逻辑 一阶逻辑 极大协调集
2004年第02期
《新疆师范大学学报·哲学社会科学版》
逻辑学表达在人工智能中应用的研究
第12-12页
关键词: 一阶逻辑 模态逻辑 人工智能 自然语言逻辑 非标准逻辑
2019年第01期
《数码世界》
面向电子商务的知识描述语言
第37-42页
关键词: 人工智能 自然语言处理 本体论 电子商务 描述逻辑 框架系统 一阶逻辑
2004年第06期
《中文信息学报》
由
一阶逻辑
公式得到命题逻辑可满足性问题实例
第327-335页
关键词: 可满足性问题 一阶逻辑 命题逻辑
2005年第03期
《软件学报》
命题逻辑提升到
一阶逻辑
上的子句消去方法
第18-25页
关键词: 一阶逻辑 蕴含模归结 子句消去方法 命题逻辑
2019年第05期
《计算机工程与应用》
推广规则后
一阶逻辑
公式的准真度
第39-41页
关键词: 计量逻辑 一阶逻辑 准真度 推广规则
2019年第06期
《计算机工程与应用》
归纳逻辑程序设计综述
第138-154页
关键词: 机器学习 一阶逻辑 规则学习 归纳逻辑程序设计 概率归纳逻辑程序设计
2019年第01期
《计算机研究与发展》
翻译成整数规划的IP—tableau方法
第33-36页
关键词: 整数规划 一阶逻辑 多值逻辑 无穷值逻辑
2005年第11期
《计算机工程与应用》
基于
一阶逻辑
的RDF模型的研究
第152-155页
关键词: 资源描述框架 资源描述框架模式 一阶逻辑 语义互操作性
2004年第28期
《计算机工程与应用》
面向Web的知识描述语言
第674-678页
关键词: 万维网 扩展标记语言 本体论 描述语言 一阶逻辑
2004年第07期
《北京航空航天大学学报》
向前向后法证明
一阶逻辑
的几个定理
第203-205页
关键词: 向前向后法 一阶逻辑 模型论 内插定理 保持定理
2004年第02期
《华侨大学学报·自然科学版》
一阶逻辑
推理系统中有关量词推理规则的研究
第89-94页
关键词: 一阶逻辑 全称量词 存在量词 推理规则 成立条件
2017年第03期
《湖南师范大学自然科学学报》
一阶逻辑
的内涵语义
第27-31页
关键词: 一阶逻辑 外延语义 内涵语义
2006年第06期
《湖南科技大学学报·自然科学版》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学