Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp [Book Review]

Journal of Symbolic Logic 51 (2):464-465 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200031340

Links

PhilArchive



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

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

Automated Reasoning. Introduction and Applications.Larry Wos, Ross Overbeek, Ewing Lusk & Jim Boyle - 1986 - Journal of Symbolic Logic 51 (2):464-465.
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk. [REVIEW]Natarajan Shankar - 1994 - Journal of Symbolic Logic 59 (4):1437-1439.
Wos Larry. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp. [REVIEW]William M. Farmer - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.
Max Black. Introduction. A reprint of XVI 298. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 1–13. - Alice Ambrose. The problem of linguistic inadequacy. A reprint of XVI 298. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 14–35. - A. J. Ayer. Basic propositions. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 57–70. - Roderick M. Chisholm. The theory of appearing. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 97–112. - Herbert Feigl. De principiis non disputandum...? On the meaning and the limits of justification. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 113–147. -. [REVIEW]Ann M. Singleterry - 1997 - Journal of Symbolic Logic 31 (4):675-676.
Reproductive Ethics Michael Bayles Philosophy of Medicine Englewood Cliffs, NJ: Prentice-Hall, 1984. Pp. 144. $9.95 paper. [REVIEW]Arthur Schafer - 1985 - Dialogue 24 (4):731-.
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings.Ewing Lusk, Ross A. Overbeek & Ross Overbeek - 1988 - Springer Verlag.
Minds and Machines. Edited by Alan Ross Anderson. Englewood Cliffs, N.J.: Prentice-Hall, Inc. 1964. Pp. viii + 114. $2.45. [REVIEW]Stanley Paluch - 1965 - Dialogue 4 (1):125-127.
Lewis Harry R. and Papadimitriou Christos H.. Elements of the theory of computation. Prentice-Hall software series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981, xiv + 466 pp. [REVIEW]Jean H. Gallier - 1984 - Journal of Symbolic Logic 49 (3):989-990.
Ethics in Government Peter A. French Prentice-Hall Series in Occupational Ethics Englewood Cliffs, NJ: Prentice-Hall, 1983. Pp. 147. [REVIEW]Wilfrid J. Waluchow - 1984 - Dialogue 23 (2):364-366.
Introduction to Value Theory. By Nicholas Rescher. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1969. pp. vii + 199. . $2.95. [REVIEW]Alex C. Michalos - 1969 - Dialogue 8 (3):520-523.
The Ethics of War and Peace: An Introduction to Legal and Moral Issues. By Paul Christopher. Englewood Cliffs. Prentice-Hall, Inc. 1994. [REVIEW]William Corliss - 1996 - Reason Papers 21:103-106.
Kemeny John G., Snell J. Laurie and Thompson Gerald L.. Introduction to finite mathematics. Prentice-Hall, Inc., Englewood Cliffs 1957, xi + 372 pp. [REVIEW]Augustus F. Bausch - 1958 - Journal of Symbolic Logic 23 (4):439-439.
Theory of Knowledge. By Roderick M. Chisholm Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1966. Pp. x, 117. $2.15.Michael Fox - 1967 - Dialogue 6 (1):118-121.
When is the best care too expensive'.A. Gibbard - forthcoming - Bioethics: Readings and Cases, Prentice-Hall, Inc., Englewood Cliffs, Nj.
Costs and Clinicians as Agents of Patients'.B. A. Brody - forthcoming - Bioethics, Prentice Hall, Englewood Cliffs, Nj.

Analytics

Added to PP
2013-11-03

Downloads
34 (#445,975)

6 months
3 (#902,269)

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