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 [Book Review]

Journal of Symbolic Logic 59 (4):1437-1439 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275719

Links

PhilArchive



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

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.
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings.Ewing Lusk, Ross A. Overbeek & Ross Overbeek - 1988 - Springer Verlag.
Logic Programming: Proceedings of the North American Conference, 1989.Ewing Lusk & Ross A. Overbeek - 1989
Norman R. Scott. Introduction to switching algebra. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 1–13. - W. J. Cadden. Binary numbers, codes, and translators. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 15–30. - J. P. Runyon. Formulation of switching problems. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 31–45. - E. J. Tanana. The map method. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 47–65. - E. J. MccluskeyJr., Minimization theory. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 67–88. - T. C. Bartee. Design using computers. A survey of switching circuit theory, edit. [REVIEW]Albert Mullin - 1962 - Journal of Symbolic Logic 27 (2):251-252.
Davis Martin. Computability & unsolvability. McGraw-Hill series in information processing and computers. McGraw-Hill Book Company, Inc., New York-Toronto-London 1958, xxv + 210 pp. [REVIEW]Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
Bell E. T.. The development of mathematics. Second edition. McGraw-Hill Book Co., New York and London 1945, xiii + 637 pp. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):61-62.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Monk J. Donald. Introduction to set theory. McGraw-Hill Book Company, New York, St. Louis, San Francisco, London, Sydney, Toronto, Mexico, and Panama, 1969, ix + 193 pp. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (1):151-151.
McCluskey E. J.. Introduction to the theory of switching circuits. McGraw-Hill Book Company, New York, St. Louis, San Francisco, Toronto, London, and Sydney, 1965, xv + 318 pp. [REVIEW]Thomas H. Mott - 1969 - Journal of Symbolic Logic 33 (4):631-631.
Jennifer Mills Moore,'.Michael Hoffman - forthcoming - Business Ethics. New York: Mcgraw-Hill, Inc.
Final Passages: Positive Choices for the Dying and Their Loved Ones, Judith Ahronheim and Doron Weber, New York: Simon & Schuster, 1992. 285 pp. - A Good Death: Taking More Control at the End of Your Life, David Shirley and T. Patrick Hill, New York: Addison-Wesley, 1992. 224 pp. [REVIEW]Steve Heilig - 1993 - Cambridge Quarterly of Healthcare Ethics 2 (1):111.
The ontological argument for the preservation of nature.E. C. Hargrove - forthcoming - Environmental Ethics: Divergence and Convergence. Mcgraw-Hill, New York.
Many-Valued Logic. By Nicholas Rescher. New York and Toronto: McGraw-Hill. 1969. Pp. xv, 359. $8.95. [REVIEW]Glenn Pearce - 1971 - Dialogue 10 (4):810-814.
Barwise Jon and Etchemendy John, The language of first-order logic, including the IBM-compatible Windows version of Tarski's world 4.0. Third edition of LVIII 362. CSLI lecture notes.no. 34. Center for the Study of Language and Information, Stanford 1992. also distributed by Cambridge University Press, New York, xiv + 319 pp. + disk. [REVIEW]Don Fallis - 1999 - Journal of Symbolic Logic 64 (2):916-918.
Automated Reasoning: 33 Basic Research Problems.Larry Wos - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.

Analytics

Added to PP
2013-11-22

Downloads
32 (#497,602)

6 months
10 (#263,328)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Natarajan Shankar
International University College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references