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.
Categories: 1960's computers and computing, Computer Science, Cybernetics, Artificial Intelligence, Robotics, Ephemera, Odd Stuff and Miscellaneous, Highspots in the History of Computing, Human-Computer Interaction, Programming and Programming Languages, Assembly and Machine Language, General Programming, Philosophy of Programming, Technical Journals, Proceedings, Conferences, ACM Association for Computing Machinery
See all items by J. A. Robinson
Price: $100.00