Catalog Record: GAMMA I : a general theorem-proving program for the IBM 704 | HathiTrust Digital Library

Available Indexes

GAMMA I :
a general theorem-proving program for the IBM 704 /
by John Alan Robinson.

Tools

Main Author: Robinson, John Alan
Language(s): English
Published: Argonne, Ill. : Argonne National Laboratory, 1961.
Subjects: FORTRAN (Computer program language)
Mathematics > Mathematics / Computer programs.
Note: "AEC Research and Development Report"
"(TID-4500, 16th Ed., Amended)"
"Mathematics and Computers"
Physical Description: 46 p. : ill. ; 28 cm.
Locate a Print Version: Find in a library

Viewability

Item Link Original Source
Full view Technical Report Archive & Image Library