Proof theory for reasoning with Euler diagrams
Proof theory for reasoning with Euler diagrams
复制标题
用欧拉图推理的证明理论
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Ryo Takemura
中科院分区：
文献类型：
--
作者：
Suzuki;M;光延真哉;Ryota Akiyoshi;Ryo Takemura
登录
查看更多内容
用欧拉图推理：一种证明理论方法
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Koji Mineshima;Mitsuhiro Okada;and Ryo Takemura
通讯作者：
and Ryo Takemura
结构证明理论
DOI：
10.1017/cbo9780511527340
发表时间：
2001
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Sara Negri;J. Plato
通讯作者：
J. Plato
DOI：
--
发表时间：
2005
期刊：
Euler
影响因子：
--
作者：
Gem Stapleton
通讯作者：
Gem Stapleton
A. S. Troelstra 和 H. Schwichtenberg 的“基本证明理论：第二版”评论。
DOI：
10.1145/504192.1005766
发表时间：
2001
期刊：
SIGACT News
影响因子：
--
作者：
J. Avigad
通讯作者：
J. Avigad
DOI：
10.1016/s0049-237x(98)80016-5
发表时间：
1998
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
S. Buss
通讯作者：
S. Buss