Publisher
Springer International Publishing
Reference43 articles.
1. Alharbi, E., Howse, J., Stapleton, G., Hamie, A., Touloumis, A.: Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. In: IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 255–259. IEEE (2017)
2. Anderson, M., Meyer, B., Oliver, P. (eds.): Diagrammatic Representation and Reasoning. Springer (2001)
3. Baker, S., Smaill, A.: A proof environment for arithmetic with the omega rule. In: J. Calmet, J. Campbell (eds.) Integrating Symbolic Mathematical Computation and Artificial Intelligence, no. 958 in Lecture Notes in Computer Science, pp. 115–130. Springer (1995)
4. Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N.: Openproof: A flexible framework for heterogeneous reasoning. In: G. Stapleton, J. Howse, J. Lee (eds.) Diagrams, Lecture Notes in Artificial Intelligence, vol. 5223, pp. 347–349. Springer (2008)
5. Chandrasekaran, B., Glasgow, J., Narayanan, N. (eds.): Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press/MIT Press, Cambridge, MA (1995)