The following pages link to (Q4737279):
Displayed 5 items.
- Diagram processing: Computing with diagrams (Q814449) (← links)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)