Automatic proofs for scalecharts

In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 227--230 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

External links

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

Through your library

My notes

Similar books and articles

Generating readable proofs: A heuristic approach to theorem proving with spider diagrams.Jean Flower, Judith Masthoff & Gem Stapleton - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 166--181.
Automatic generation of the behavior definition of distributed design tools from task method diagrams and method flux diagrams by diagram composition.J. Fernando Bienvenido & Isabel M. Flores-Parra - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 435--437.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Inter-diagrammatic reasoning and digital geometry.Robert McCartney & Passent El-Kafrawy - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 199--215.
Peirce's diagrammatic logic in IF perspective.Ahti-Veikko Pietarinen - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 97--111.
Roles of diagrammatic information for the discovery of geometrical theorems.Tsuyoshi Murata - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 235--238.
Making TRACS: The diagrammatic design of a double-sided deck.Kevin Burns - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 341--343.
Predictors of success in diagrammatic problem solving.Daesub Yoon & N. Hari Narayanan - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 301--315.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Diagrams 2021: Diagrammatic Representation and Inference.Viana P. Basu A., Stapleton G., Linker S., Legg C., Manalo E. (ed.) - 2021

Analytics

Added to PP
2014-01-26

Downloads
27 (#838,947)

6 months
10 (#444,744)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references