A Machine-Oriented Logic Based on the Resolution Principle

Abstract

article Free Access Share on A Machine-Oriented Logic Based on the Resolution Principle Author: J. A. Robinson Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, TexasView Profile Authors Info & Claims Journal of the ACMVolume 12Issue 1pp 23–41https://doi.org/10.1145/321250.321253Published:01 January 1965Publication History 2,696citation6,808DownloadsMetricsTotal Citations2,696Total Downloads6,808Last 12 Months797Last 6 weeks75 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF