Proof Checking and Knowledge by Intellection

被引：0

作者：

机构：

来源：

Philosophical Studies | 1998年 / 92卷

关键词：

Proof Check;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：85 / 112

页数：27

共 50 条

[21] Validation of HOL proofs by proof checking
Wong, W
FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (02) : 193 - 212
[22] Terms for Efficient Proof Checking and Parsing
Faerber, Michael
PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 135 - 147
[23] THE FIRST INTELLECTION
Choza, Jacinto
THEMATA-REVISTA DE FILOSOFIA, 2014, (50): : 17 - 36
[24] Validation of HOL Proofs by Proof Checking
Wai Wong
Formal Methods in System Design, 1999, 14 : 193 - 212
[25] Validation of HOL proofs by proof checking
Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong
Formal Methods Syst Des, 2 (193-212):
[26] Complete and Efficient DRAT Proof Checking
Rebola-Pardo, Adrian
Cruz-Filipe, Luis
PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 197 - 205
[27] Interactive and probabilistic proof-checking
Trevisan, L
ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 325 - 342
[28] Intellection and Indiscipline
Goodrich, Peter
JOURNAL OF LAW AND SOCIETY, 2009, 36 (04) : 460 - 480
[29] Imagination and intellection. Mechanisms for the construction of knowledge: an recurrent scientific and philosophical problem
Casaban Moya, Enric
Candel Sanmartin, Miguel
DAIMON-REVISTA INTERNACIONAL DE FILOSOFIA, 2013, (58): : 81 - 94
[30] Knowledge, Language and Intellection from Origen to Gregory Nazianzen: A Selective Survey.
D-Vasilescu, Elena Ene
JOURNAL OF THEOLOGICAL STUDIES, 2018, 69 : 834 - 835

← 1 2 3 4 5 →