Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
Theories of Diagrammatic Reasoning: Distinguishing Component Problems
Minds and Machines
JVenn: A Visual Reasoning System with Diagrams and Sentences
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Non-standard Logics for Diagram Interpretation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Visual qualities of the Unified Modeling Language: Deficiencies and Improvements
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
A Diagrammatic Calculus of Syllogisms
Journal of Logic, Language and Information
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Hi-index | 0.00 |