共 50 条
- [22] EulerMerge: Simplifying Euler Diagrams Through Set Merges DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2024, 2024, 14981 : 190 - 206
- [28] Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization Studia Logica, 2013, 101 : 157 - 191
- [30] Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 323 - 331