Tinker, tailor, solver, proof
Tinker, tailor, solver, proof
复制标题
修补匠、裁缝、求解器、证明
DOI：
10.4204/eptcs.167.5
复制
发表时间：
2014
影响因子：
--
通讯作者：
Grov G
中科院分区：
文献类型：
--
作者：
Grov G
登录
查看更多内容
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
Jape：纸上校样动画计算器
DOI：
10.1007/3-540-63104-6_41
发表时间：
1997
期刊：
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems
影响因子：
--
作者：
R. Bornat;B. Sufrin
通讯作者：
B. Sufrin
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
ProveEasy：帮助人们学习证明
DOI：
--
发表时间：
2000
期刊：
Computing: The Australasian Theory Symposium
影响因子：
--
作者：
R. Burstall
通讯作者：
R. Burstall
XBarnacle：让定理证明更容易理解
DOI：
--
发表时间：
1997
期刊：
CADE
影响因子：
--
作者：
H. Lowe;D. Duncan
通讯作者：
D. Duncan