skip to main content
article
Free Access

A Machine-Oriented Logic Based on the Resolution Principle

Authors Info & Claims
Published:01 January 1965Publication History
First page image

References

  1. 1 CHURCH, A. A : noet the Eutchddugsproblem. J. symb Logic 1 (1936) 40-41. Correction ibid., 101-102.Google ScholarGoogle Scholar
  2. 2 DAVIS. M., AND PUTMAN, H. A computing proCedure for quantific tHeory. ,j .ACm 7 (Mar. 1960), 201-215. Google ScholarGoogle Scholar
  3. 3 FRIEDMAN, J. A semi-decision procedure for die funCtiONAL calculus. J. ACM I0 (Jan. 1963), 1-24. Google ScholarGoogle Scholar
  4. 4 GILMORE, P- C, A proof method for quantiFired ion theory. IBM J. Res. Develop. 4 (1960), 2S-35,Google ScholarGoogle Scholar
  5. 5 ROBINSON, J. A, Theorem-provinng on the computer, J, ACM 10 (Apr. t963), 163-174. Google ScholarGoogle Scholar

Index Terms

  1. A Machine-Oriented Logic Based on the Resolution Principle

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image Journal of the ACM
        Journal of the ACM  Volume 12, Issue 1
        Jan. 1965
        150 pages
        ISSN:0004-5411
        EISSN:1557-735X
        DOI:10.1145/321250
        Issue’s Table of Contents

        Copyright © 1965 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 January 1965
        Published in jacm Volume 12, Issue 1

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader