A Framework for Checking Proofs Naturally
A Framework for Checking Proofs Naturally
复制标题
自然检查证明的框架
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
佐藤雅彦
中科院分区：
文献类型：
--
作者：
Higa Y;Nguyen T. Y;Kawada H;TranH. S;Nguyen T. H;Takagi M.;佐藤雅彦
登录
查看更多内容
第 16 届国际自动演绎会议 (CADE-16) 论文集
DOI：
10.2307/3614729
发表时间：
1999
期刊：
The Mathematical Gazette
影响因子：
--
作者：
H. Ganzinger
通讯作者：
H. Ganzinger
计算机辅助系统理论 — EUROCAST 2001
DOI：
10.1007/3-540-45654-6
发表时间：
2002
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
R. Moreno;B. Buchberger;J. L. Freire
通讯作者：
J. L. Freire
DOI：
10.1145/1042038.1042041
发表时间：
2001-10
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
R. Harper;F. Pfenning
通讯作者：
R. Harper;F. Pfenning
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
改田知宏;原田敦史;坂西裕一;河野健司;Yoshihiro Ito;M. Todoh;Yuko Sekino
通讯作者：
Yuko Sekino
影响因子：
--
作者：
BERKLING, KJ;FEHR, E
通讯作者：
FEHR, E