A Machine-Oriented Logic Based on the Resolution Principle, in, Journal of the ACM January 1965. J. A. Robinson.
A Machine-Oriented Logic Based on the Resolution Principle, in, Journal of the ACM January 1965

A Machine-Oriented Logic Based on the Resolution Principle, in, Journal of the ACM January 1965.

Association for Computing Machinery, January 1965 (volume 12, number 1); 149 pages.

Condition: Complete separate issue of the January 1965 issue; tan paper covers, Robinson's article on pp. 23-41 inclusive. Remains of mailing label on lower front cover; front upper righthand cover corner missing approx. 2x2 inches, ragged along outer cover edge and missing lower front cover corner as well; first several pages of the issue lower righthand corner creases, small tears, crushed corners and sides; slight thumbing and edgewear to outer pages; binding is sound, pages unmarked though toned along outer edges with thumbing and creases throughout first third of the issue.

Price: $100.00

Item Description

First publication of the resolution principle, the standard of logical deduction in AI applications. .