A Diagrammatic Reasoning System with Euler Circles
A Diagrammatic Reasoning System with Euler Circles
复制标题
欧拉圆图解推理系统
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Ryo Takemura
中科院分区：
文献类型：
--
作者：
Koji Mineshima;Mitsuhiro Okada;Ryo Takemura
登录
查看更多内容
欧拉图生成
影响因子：
--
作者：
Flower J
通讯作者：
Flower J
关于图标记和类型
DOI：
--
发表时间：
2002
期刊：
Diagrams
影响因子：
--
作者：
J. Howse;F. Molina;Sun;John Taylor
通讯作者：
John Taylor
走向图的模型理论
影响因子：
1.5
作者：
E. Hammer;N. Danner
通讯作者：
N. Danner
各种一阶和高阶逻辑的割除消除和完备性的统一语义证明
DOI：
10.1016/s0304-3975(02)00024-5
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Okada
通讯作者：
M. Okada
欧拉图系统中的自动定理证明
DOI：
10.1007/s10817-007-9069-y
发表时间：
2007
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Gem Stapleton;Judith Masthoff;Jean Flower;A. Fish;J. Southern
通讯作者：
J. Southern