The following pages link to (Q4548196):
Displaying 5 items.
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)