Compositional Diagrammatic First-Order Logic

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Diagrams (11. : 2020 : Tallinn; Online) Diagrammatic representation and inference
1. Verfasser: Haydon, Nathan (VerfasserIn)
Weitere Verfasser: Sobocinski, Pawel (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
On “Overspecification” in Medieval Mathematical Diagrams 2020 Young, Gregg De
Transductive Reconstruction of Hippocrates’ Dynamical Geometrical Diagrams 2020 Visokolskis, Sandra
Modes of Continuity in Diagram for Intermediate Value Theorem 2020 Blaszczyk, Piotr
Dissecting Representations 2020 Raggi, Daniel
Towards Data-Driven Multilinear Metro Maps 2020 Nickel, Soeren
The Blot 2020 Pietarinen, Ahti-Veikko
Event Unit Analysis: A Methodology for Anticipating Processing Demands of Complex Animated Diagrams 2020 Lowe, Richard
Schopenhauer Diagrams for Conceptual Analysis 2020 Dobrzanski, Michal
Calculus CL as a Formal System 2020 Lemanski, Jens
Marlo’s Networks of Expectations in the Classroom: A Tool for Heterogeneous Reasoning 2020 Aznar, Marcos Bautista López
Counting Mathematical Diagrams with Machine Learning 2020 Sorensen, Henrik Kragh
A. Mentalist Look at Gaussian Clock Arithmetic 2020 Jaspers, Dany
A Sketch of a Theory and Modelling Notation for Elucidating the Structure of Representations 2020 Cheng, Peter C.-H.
A Diagram of Choice: The Curious Case of Wallis’s Attempted Proof of the Parallel Postulate and the Axiom of Choice 2020 Therrien, Valérie Lynn
Modality and Uncertainty in Data Visualizations: A Corpus Approach to the Use of Connecting Lines 2020 Lechner, Verena Elisabeth
An Alternative Reformulation of the Transformation Rules in the Beta Part of Peirce's Existential Graphs 2020 Atarashi, Shigeyuki
String Diagrams for Assembly Planning 2020 Master, Jade
Observational Advantages and Occurrence Referentiality 2020 Bellucci, Francesco
Intuitionistic Euler-Venn Diagrams 2020 Linker, Sven
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs 2020 Baimagambetov, Almas
Alle Artikel auflisten