Book Id: 51662 A machine-oriented language based on the resolution principle. In J. Assoc. Computing Machinery. John A. Robinson.

A machine-oriented language based on the resolution principle. In J. Assoc. Computing Machinery.

Publisher Information: 1965.

Robinson, John A. (1930-2016). A machine-oriented logic based on the resolution principle. In Journal of the Association for Computing Machinery 12 (1965): 23-41. Whole number. 254 x 174 mm. Original printed wrappers, light wear and soiling. Very good.

First Edition. Robinson’s famous resolution principle for automatic theorem proving, introduced in the present paper, represents a major advancement in automated reasoning technology. “If one event can be pinpointed as marking [automated theorem proving’s] emergence as a mature subject, it would be the publication in which J. A. Robinson announced the resolution principle . . . Robinson’s method of resolution introduced in his highly influential [paper] revolutionized the subject. . . The three decades since the first implementations of resolution have seen an outpouring of research devoted to automated reasoning systems” (Davis, pp. 10-11). Davis, “The early history of automated deduction,” in Handbook of Automated Reasoning (2001), pp. 5-15.

Book Id: 51662

Price: $750.00

See all items by