swMATH19455MaRDI QIDQ31282FDOQ31282
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-31223-6_19
Cited In (18)
- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
- Diabelli: A Heterogeneous Proof System
- Sequent Calculus for Euler Diagrams
- Reasoning with concept diagrams about antipatterns in ontologies
- Dr.Doodle
- SketchSet
- Tahuti
- SOVA
- Diabelli
- Openproof
- SketchNode
- Hyperproof
- VOWL
- Tesseract
- Inspection and selection of representations
- Investigating Diagrammatic Reasoning with Deep Neural Networks
- Accessible Reasoning with Diagrams: From Cognition to Automation
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
This page was built for software: Speedith
