Review: John Arnold Kalman, Automated Reasoning with Otter [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

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

John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp. [REVIEW]Alwen Tiu - 2010 - Bulletin of Symbolic Logic 16 (2):279-281.
Handbook of practical logic and automated reasoning.John Harrison - 2010 - Bulletin of Symbolic Logic 16 (2):279-281.
A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning.Robert K. Meyer - 2007 - Bulletin of Symbolic Logic 13 (3):359-361.
Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems. [REVIEW]William M. Farmer - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.

Analytics

Added to PP
2010-08-30

Downloads
55 (#398,246)

6 months
18 (#170,716)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.

Add more citations

References found in this work

No references found.

Add more references