Pages that link to "Item:Q1986087"
From MaRDI portal
The following pages link to Euler-type diagrams and the quantification of the predicate (Q1986087):
Displaying 4 items.
- Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004 (Q878020) (← links)
- (Q2753848) (← links)
- Intuitionistic Euler-Venn Diagrams (Q6485458) (← links)
- A bitstring semantics for calculus \textit{CL} (Q6600389) (← links)