Appendix: Conjectures concerning proof, design, and verification

被引：0
|
作者：
Wos, L [1 ]
机构：
[1] Argonne Natl Lab, Div Math & Comp Sci, Argonne, IL 60439 USA
来源：
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS | 2000年 / 1869卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：526 / 533
页数：8
相关论文
共 50 条
12345