Reasoning with Euler diagrams : a proof-theoretical approach
Reasoning with Euler diagrams : a proof-theoretical approach
复制标题
用欧拉图推理：一种证明理论方法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
and Ryo Takemura
中科院分区：
文献类型：
--
作者：
Koji Mineshima;Mitsuhiro Okada;and Ryo Takemura
登录
查看更多内容
生成可读的证明：用蜘蛛图证明定理的启发式方法
DOI：
--
发表时间：
2004
期刊：
Diagrams
影响因子：
--
作者：
Jean Flower;Judith Masthoff;Gem Stapleton
通讯作者：
Gem Stapleton
欧拉图系统中的自动定理证明
DOI：
10.1007/s10817-007-9069-y
发表时间：
2007
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Gem Stapleton;Judith Masthoff;Jean Flower;A. Fish;J. Southern
通讯作者：
J. Southern
DOI：
--
发表时间：
2005
期刊：
Euler
影响因子：
--
作者：
Gem Stapleton
通讯作者：
Gem Stapleton
DOI：
10.1016/s0049-237x(98)80016-5
发表时间：
1998
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
S. Buss
通讯作者：
S. Buss
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
Sun
通讯作者：
Sun