Publisher
Springer International Publishing
Reference13 articles.
1. Simon, H.A., Larkin, J.H.: Why a diagram is (sometimes) worth 10,000 words. Models Thought 2 (1987)
2. Jamnik, M., Bundy, A., Green, I.: On automating diagrammatic proofs of arithmetic arguments. J. Log. Lang. Inf. 8(3), 297–321 (1999)
3. Barwise, J., Etchemendy, J.: Hyperproof. CSLI Press, California (1994)
4. Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagram systems. J. Autom. Reason. 39(4), 431–470 (2007)
5. Urbas, M., Jamnik, M., Stapleton, G.: Speedith: a reasoner for spider diagrams. J. Log. Lang. Inf. 24(4), 487–540 (2015)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献