Al-Warraq Library

Home / General & Other / GAMMA I : a general theorem-proving program for the IBM 704

General & OtherGAMMA I : a general theorem-proving program for the IBM 704J. A RobinsonGAMMA I : a general theorem-proving program for the IBM 704

GAMMA I : a general theorem-proving program for the IBM 704

J. A Robinson

General & OtherEnglish
Read the bookHathiTrustInternet Archive

Al-Warraq Library does not host book files; it takes you to the copy at the original source. Public-domain status differs from country to country, so check the law where you live before downloading or republishing the book. Do you hold rights in this work? Request its removal

“GAMMA I : a general theorem-proving program for the IBM 704” by J. A Robinson: a public-domain book in “General & Other”, written in English. Read it in…

Catalogue details

Author
J. A Robinson
Category
General & Other
Language
English
Source
HathiTrust

About this book

“GAMMA I : a general theorem-proving program for the IBM 704” is a book by J. A Robinson in the “General & Other” category, written in English. It is in the public domain, so you can read it for free from the open source using the buttons above. If you enjoyed it, press Like to help others find it. Similar books are listed below.

Similar books