Pages that link to "Item:Q5714113"
From MaRDI portal
The following pages link to Diagrammatic Representation and Inference (Q5714113):
Displaying 9 items.
- A graph theoretic approach to general Euler diagram drawing (Q1041227) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
- Graph drawing in Ti\(k\)Z (Q2842202) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- Blocks of Hypergraphs (Q3000508) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Spider Diagrams (Q5697473) (← links)
- Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification (Q6110238) (← links)