Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp

, &
Bulletin of Symbolic Logic 13 (3):359-361 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1186666151

Links

PhilArchive



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

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

The Blackwell guide to the philosophy of computing and information.Luciano Floridi (ed.) - 2003 - Blackwell.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Why the U.S. Is not the best country in the world.Steven D. Hales - 2006 - The Good Society 15 (2):35-40.
Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
Computing in the philosophy of science.Paul Thagard - 2004 - In Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Oxford, UK: Blackwell. pp. 307--317.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
The role of heuristics in automated theorem proving.Roberto Cordeschi - 1996 - Mathware and Soft Computing 3:281-293.
Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Darwin's ''strange inversion of reasoning''.Daniel Dennett - unknown
Robert L. Wicks, Schopenhauer's The World as Will and Representation: A Reader's Guide . Reviewed by. [REVIEW]Jason Costanzo - 2013 - Philosophy in Review 33 (3):243–245.
Applied Ontology: An Introduction.Katherine Munn & Barry Smith (eds.) - 2008 - Frankfurt: ontos.

Analytics

Added to PP
2013-10-29

Downloads
6 (#1,383,956)

6 months
1 (#1,444,594)

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