×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [3]
北京航空航天大学 [2]
计算技术研究所 [2]
厦门大学 [1]
北京大学 [1]
自然科学史研究所 [1]
更多...
内容类型
期刊论文 [11]
会议论文 [1]
其他 [1]
发表日期
2020 [1]
2018 [1]
2017 [3]
2016 [3]
2012 [1]
2010 [4]
更多...
学科主题
科技史::天文学史 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共13条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
Completeness and normal form of multi-valued logical functions
期刊论文
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2020, 卷号: 357, 期号: 14, 页码: 9871-9884
作者:
Cheng, Daizhan
;
Liu, Zequn
;
Qi, Hongsheng
收藏
|
浏览/下载：2/0
|
提交时间：2021/01/14
Variable decision knowledge representation: A logical description.
期刊论文
JOURNAL OF COMPUTATIONAL SCIENCE, 2018, 卷号: Vol.25, 页码: 161-169
作者:
Zhai, Yanhui
;
Li, Deyu
;
Zhang, Jing
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/26
Variable
decision
implication
Non-redundancy
Completeness
Inference
rules
The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 期号: 5, 页码: 887-894
作者:
Li, Wei
;
Sui, Yuefei
收藏
|
浏览/下载：16/0
|
提交时间：2019/12/12
the Belnap logic
modality
the soundness
the completeness
The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 页码: 887-894
作者:
Li, Wei
;
Sui, Yuefei
收藏
|
浏览/下载：8/0
|
提交时间：2019/12/30
the Belnap logic
modality
the soundness
the completeness
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬
期刊论文
Frontiers of Computer Science, 2017, 卷号: 11, 页码: 887-894
作者:
Li, W.
;
Sui, Y.
收藏
|
浏览/下载：5/0
|
提交时间：2019/12/30
Boolean algebra
Boolean functions
Formal logic
Semantics
Deduction systems
Logical connectives
modality
Propositional logic
Sound and complete
the Belnap logic
the completeness
the soundness
Computer circuits
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:
Xu, Zhaowei
;
Sui, Yuefei
;
Zhang, Wenhui
收藏
|
浏览/下载：20/0
|
提交时间：2019/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness
A logical characterization of extensive games with short sight
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Liu, Chanjuan
;
Liu, Fenrong
;
Su, Kaile
;
Zhu, Enqiang
收藏
|
浏览/下载：5/0
|
提交时间：2017/12/03
Game theory
Extensive games
Short sight
Equilibrium
Modal logic
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW
;
Sui, YF
;
Zhang, WH
收藏
|
浏览/下载：14/0
|
提交时间：2016/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness
Graded BDI models for agent architectures based on Lukasiewicz logic and propositional dynamic logic
其他
2012-01-01
Zhang, Xiaojun
;
Jiang, Min
;
Zhou, Changle
;
Hao, Yijiang
;
张晓君
;
江敏
;
周昌乐
收藏
|
浏览/下载：6/0
|
提交时间：2015/07/22
Semantics
World Wide Web
明清之际圭表测影考
期刊论文
中国科技史杂志, 2010, 卷号: 31, 期号: 4, 页码: 447-457
王广超
收藏
|
浏览/下载：12/0
|
提交时间：2013/01/29
圭表测影
定气注历
©版权所有 ©2017 CSpace - Powered by
CSpace
