Editore: University of Michigan Press, 1958
Da: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Membro dell'associazione: IOBA
Prima edizione
Hardcover. Condizione: Good. First Edition. First edition, 1958. Grey cloth, spine evenly dulled else good+. Light scratch to front board. Copy of John Alan Robinson, philosopher, mathematician, and computer scientist; and professor emeritus at Syracuse University. With his ink name at top of both front endpapers. In 1965 Robinson published "A Machine-Oriented Logic Based on the Resolution Principle". This paper introduced the resolution principle a standard of logical deduction in AI applications.