Pages that link to "Item:Q4659954"
From MaRDI portal
The following pages link to The Expressiveness of Spider Diagrams (Q4659954):
Displaying 10 items.
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- Spider evaluation and representations of web groups (Q5377164) (← links)
- Spider Diagrams (Q5697473) (← links)
- Diagrammatic Representation and Inference (Q5714027) (← links)