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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Automatic proofs for theorems on predicate calculus.Sueli Mendes dos Santos - 1972 - [Rio de Janeiro,: Pontificia Universidade Católica do Rio de Janeiro]. Edited by Marilia Rosa Millan.
The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs.Christoph Koutschan & V. Moll - 2011 - Scientia 20:93-111.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Automatic structures of bounded degree revisited.Dietrich Kuske & Markus Lohrey - 2011 - Journal of Symbolic Logic 76 (4):1352-1380.
Controlled and automatic human information processing: Perceptual learning, automatic attending, and a general theory.Richard M. Shiffrin & Walter Schneider - 1977 - Psychological Review 84 (2):128-90.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Automatic continuity of group homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.
Ethical Automaticity.Michael Brownstein & Alex Madva - 2012 - Philosophy of the Social Sciences 42 (1):68-98.
Automatic Constructive Appraisal as a Candidate Cause of Emotion.Agnes Moors - 2010 - Emotion Review 2 (2):139-156.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
How automatic and representational is empathy, and why.Martin L. Hoffman - 2001 - Behavioral and Brain Sciences 25 (1):38-39.

Analytics

Added to PP
2014-01-26

Downloads
17 (#871,839)

6 months
1 (#1,475,915)

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