Tactical Diagrammatic Reasoning
Tactical Diagrammatic Reasoning
复制标题
战术图解推理
DOI：
10.4204/eptcs.239.3
复制
发表时间：
2017
影响因子：
--
通讯作者：
Linker S
中科院分区：
文献类型：
--
作者：
Linker S
登录
查看更多内容
影响因子：
5.2
作者：
Stapleton G
通讯作者：
Stapleton G
测量用户对欧拉图中推理规则的理解
DOI：
--
发表时间：
2016
期刊：
Diagrams
影响因子：
--
作者：
Sven Linker;Jim Burton;A. Blake
通讯作者：
A. Blake
DOI：
--
发表时间：
2014
期刊：
Diagrams
影响因子：
--
作者：
Matej Urbas;M. Jamnik
通讯作者：
M. Jamnik
欧拉图系统中的自动定理证明
DOI：
10.1007/s10817-007-9069-y
发表时间：
2007
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Gem Stapleton;Judith Masthoff;Jean Flower;A. Fish;J. Southern
通讯作者：
J. Southern
Speedith：蜘蛛图推理机
DOI：
--
发表时间：
2015
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Matej Urbas;M. Jamnik;Gem Stapleton
通讯作者：
Gem Stapleton