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

Saved in:
Bibliographic Details
Language:English
Format: U.S. Federal Government Document Book E-Resource