Speedith
From MaRDI portal
Software:31282
No author found.
Related Items (8)
Reasoning with concept diagrams about antipatterns in ontologies ⋮ Diabelli: A Heterogeneous Proof System ⋮ Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) ⋮ Inspection and selection of representations ⋮ Accessible Reasoning with Diagrams: From Cognition to Automation ⋮ Investigating Diagrammatic Reasoning with Deep Neural Networks ⋮ Sequent Calculus for Euler Diagrams ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
This page was built for software: Speedith
