Author:
Winterstein Daniel,Bundy Alan,Gurr Corin
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Diagrammatic Reasoning: Cognitive and Computational Perspectives, AAAI Press/MIT Press (1995)
2. Flower, J., Stapleton, G.: Automated Theorem Proving with Spider Diagrams. In: Computing: the Australasian Theory Symposium, CATS (2004)
3. Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Press (2001)
4. Kortenkamp, U., Richter-Gebert, J.: The Next Version of Cinderella. In: First International Congress Of Mathematical Software, World Scientific, Singapore (2002)
5. Maxwell, E.: Fallacies in Mathematics. Cambridge University Press, Cambridge (1959)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献