首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
旅游学
文化学
标题
作者
关键词
摘要
正文
单位
网址
任意词
哲学
>>>
科学技术哲学
>>>
自然观
>>>
搜索结果:
1-1
共查到
“
自然观 人的目的
”
相关记录1条 . 查询时间(0.151 秒)
以
目的
与背景知识为双条件的逻辑
条件句系统
有序邻域语义
框架可靠性
框架完全性
<
2013/3/1
首先#我们构造以
目的
和背景知识为双条件的条件句系统 ?@A#给出它的一些证明论结果$其次#我们引入有序邻域语义#给出描述!"#的特征公理和推理规则的框架条件#证明!"#相对这些框架条件是框架可靠的$最后#我们证明!"#相对这些框架条件也是框架完全的$
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...