John Arnold Kalman. Automated reasoning with Otter. With a foreword by Larry Wos. Rinton Press, Princeton 2001, xv + 536 pp. + CD-ROM [Book Review]

Bulletin of Symbolic Logic 8 (3):428-429 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353898

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: John Arnold Kalman, Automated Reasoning with Otter. [REVIEW]Dale Myers - 2002 - Bulletin of Symbolic Logic 8 (3):428-429.
Automated Reasoning with Otter.Dale Myers - 2002 - Bulletin of Symbolic Logic 8 (3):428-429.
Book ReviewsDana Villa,. Socratic Citizenship.Princeton, N.J.: Princeton University Press, 2001. Pp. 370. $65.00 ; $17.95. [REVIEW]Larry May - 2004 - Ethics 114 (3):641-643.
Kalman P. Bland, The Artless Jew: Medieval and Modern Affirmations and Denials of the Visual. Princeton, N.J.: Princeton University Press, 2000. Pp. ix, 233. $35. [REVIEW]Michael D. Swartz - 2003 - Speculum 78 (1):138-140.
Martin Rees. Our Cosmic Habitat. 240 pp., illus. Princeton, N.J./Oxford: Princeton University Press, 2001. $22.50.John L. McKnight - 2003 - Isis 94 (2):349-350.
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
John Abromeit: Max Horkheimer and the Foundations of the Frankfurt School, Cambridge/New York: Cambridge University Press 2011, 440 S. Raffaele Laudani : Franz Neumann, Herbert Marcuse, Otto Kirchheimer. Secret Reports on Nazi Germany. The Frankfurt School Contribution to the War Effort. With a Foreword by Raymond Geuss, Princeton: Princeton University Press 2013, 704 S. [REVIEW]Mario Keßler - 2014 - Zeitschrift für Religions- Und Geistesgeschichte 66 (2):203-205.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
International Joint Conference on Automated Reasoning (IJCAR'2001), June 18-23, 2001, Siena, Italy.F. Massacci - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers.
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
Self-deception Unmasked By Alfred Mele Princeton: Princeton University Press (2001). Pp xi + 124.Robert Lockie - 2003 - Philosophy 78 (2):289-307.
Book ReviewsCass Sunstein,. Republic.com.Princeton, N.J.: Princeton University Press, 2001. Pp. 224. $19.95 ; $12.95.Benjamin R. Barber - 2002 - Ethics 112 (4):866-869.
Judith Jarvis Thomson, Goodness and Advice, Princeton, Princeton University Press, 2001, pp. xvi + 187.Alec Walen - 2003 - Utilitas 15 (2):253.
Tukey John W., conference reporter. The Princeton University bicentennial conference on the problems of mathematics. With a foreword by Solomon Lefschetz. Princeton University bicentennial conferences, series 2 conference 2. Princeton University, Princeton, N.J., 1947, 32 pp. [REVIEW]Max Black - 1947 - Journal of Symbolic Logic 12 (3):89-89.
Book ReviewsMichael Ignatieff,. Human Rights as Politics and Idolatry. Princeton, N.J.: Princeton University Press, 2001. Pp. 187. $19.95. [REVIEW]Michael J. Green - 2003 - Ethics 113 (2):420-423.

Analytics

Added to PP
2014-03-24

Downloads
16 (#886,588)

6 months
1 (#1,516,429)

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