Diagrammatic Representation and Inference

Springer (2004)
  Copy   BIBTEX

Abstract

This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004.The 18 revised full papers and 42 revised poster papers presented together with a survey article and ...

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Chapters

Similar books and articles

On Frege's Logical Diagrams.Iulian D. Toader - 2004 - In Diagrammatic Representation and Inference. Springer: Lecture Notes in Computer Science, vol. 2980,. pp. 22-25.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.

Analytics

Added to PP
2012-10-24

Downloads
26 (#443,947)

6 months
2 (#279,211)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Atsushi Shimojima
Doshisha University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references