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

Saved in:

Bibliographic Details
Corporate Author:	Argonne National Laboratory. Division of Applied Mathematics
Other Authors:	Robinson, J. A. (John Alan)
Format:	Government Document Book
Language:	English
Published:	[Argonne? Ill.], 1961.
Series:	AEC research and development report.
Subjects:	IBM 704 (Computer) FORTRAN (Computer program language)

University of Minnesota

Holdings details from University of Minnesota
Call Number:	Y 3.AT 7:22/ANL-6447