Skip to content

A Machine-Oriented Logic Based on the Resolution Principle" [in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.

A Machine-Oriented Logic Based on the Resolution Principle" [in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.

Click for full-size.

A Machine-Oriented Logic Based on the Resolution Principle" [in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.

by Robinson, J. A

  • Used
  • first
Condition
See description
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Moray, United Kingdom
Item Price
£450.00
Or just £430.00 with a
Bibliophiles Club Membership
£27.00 Shipping to USA
Standard delivery: 5 to 7 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Baltimore, MD: The Association for Computing Machinery, 1965. Quarto. Original cream wrappers printed in black. Remnants of a mailing label to the upper wrapper. Just a little rubbed and creased. Excellent condition. First publication of the resolution principle, the standard of logical deduction in AI applications. The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. "Robinson described his resolution principle as 'machine-oriented' in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications" (Hook & Norman, Origins of Cyberspace 865). "Born in Halifax, England, and having served in the RAF, [Robinson] attended Cambridge University, where he read classics. He received his master's degree in philosophy from the University of Oregon and his doctorate in philosophy from Princeton University in 1956. His interests thereafter focused on computers and logic. In 1963, as a visitor from Rice University in Texas to the Argonne National Laboratories, he became interested in automated reasoning, and in 1963 invented Resolution and Unification. In 1967 he became the Distinguished University Professor at Syracuse University and later Visiting Professor at Edinburgh University in Scotland." (New York Times obituary). Hook & Norman, Origins of Cyberspace 865.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
Alembic Rare Books GB (GB)
Bookseller's Inventory #
212
Title
A Machine-Oriented Logic Based on the Resolution Principle" [in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.
Author
Robinson, J. A
Book Condition
Used
Quantity Available
1
Publisher
The Association for Computing Machinery
Place of Publication
Baltimore, MD
Date Published
1965
Keywords
Technology|Computers|Information Science|Logic|Mathematical Theory|Mathematics

Terms of Sale

Alembic Rare Books

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Alembic Rare Books

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2018
Moray

About Alembic Rare Books

We specialise in rare science books dating from the late Middle Ages to the 20th century, including first editions, signed copies, manuscripts, objects, and ephemera. We have particular expertise in natural history, genetics and evolution, anatomy, nuclear physics and the Manhattan Project, early computing, and women in science. We also carry books related to women's history and literature.

Glossary

Some terminology that may be used in this description includes:

Quarto
The term quarto is used to describe a page or book size. A printed sheet is made with four pages of text on each side, and the...
Wrappers
The paper covering on the outside of a paperback. Also see the entry for pictorial wraps, color illustrated coverings for...

Frequently asked questions

This Book’s Categories

tracking-