Reasoning with spider diagrams
暂无分享,去创建一个
[1] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[2] Eric Hammer,et al. Logic and Visual Information , 1995 .
[3] Stuart Kent,et al. Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.
[4] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[5] G. L.. Collected Papers , 1912, Nature.
[6] Sun-Joo Shin,et al. The logical status of diagrams , 1995 .
[7] Leonhard Euler,et al. Lettres à une princesse d'Allemagne sur divers sujets de physique & de philosophie , 1812 .
[8] J. Venn,et al. . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .
[9] Stuart Kent,et al. Formalizing spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.