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

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

Similar Items

IBM reference manual [S]: FORTRAN, automatic coding system for the IBM 704 data processing system.
Published: (1959)

Reference manual [S]: FORTRAN II for the IBM 704 data processing system.
Published: (1958)

ELMOE : an IBM-704 program treating elastic scattering resonances in fast reactors /
by: Rago, A. L.
Published: (1964)

Programming the IBM 1130 and 1800
by: Louden, Robert K.
Published: (1967)

Basic programming concepts and the IBM 1620 computer
by: Leeson, Daniel N.
Published: (1968)

Fortran IV programming; based on the IBM system 1130
by: Jamison, Robert V.
Published: (1970)

Basic programming concepts and the IBM 1620 computer
by: Leeson, Daniel N.
Published: (1962)

A short course in basic Fortran IV programming based on the IBM System/360 and System/370
by: Lee, Robert M.
Published: (1972)

Introductory computer programming.
by: Stuart, Fredric
Published: (1966)

Fortran programming of electronic computers
by: Hartkemeier, Harry P. (Harry Pelle), 1904-
Published: (1966)

Computer usage; 360 Fortran programming.
Published: (1969)

Programming the IBM 1130.
by: Hughes, Joan Kirkby
Published: (1969)

A paper tape to magnetic tape converter /
by: Flores, Louis F.
Published: (1960)

Genoro : a general data fitting and linear functional evaluation computer code for the IBM 7090 /
by: Oster, C. A.
Published: (1963)

Auto-primer in computer programming for the IBM 1620 in FORTRAN.
by: Entwisle, Doris R.
Published: (1963)

Basic FORTRAN IV programming [version IBM 360
by: Blatt, John Markus
Published: (1969)

Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by: Chivers, I. D. (Ian David), 1952-
Published: (2012)

Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, and 77 /
by: Chivers, I. D. (Ian David), 1952-
Published: (2005)

Application debugging : an MVS abend handbook for COBOL, Assembly, PL/I, and FORTRAN programmers /
by: Binder, Robert, 1950-
Published: (1985)

CRUD : a fission-product diffusion code for the CDC 3600 and IBM 7094 /
by: Litton, G. M.
Published: (1964)

A guide to FORTRAN programming.
by: McCracken, Daniel D.
Published: (1961)

CUDA Fortran for scientists and engineers : best practices for efficient CUDA Fortran programming /
by: Fatica, Massimiliano
Published: (2014)

Fundamentals of FORTRAN programming
by: Nickerson, Robert C., 1946-
Published: (1974)

Fortran; logic and programming /
by: McCameron, Fritz A.
Published: (1968)

Introduction to programming with Fortran /
by: Chivers, I. D. (Ian David), 1952-
Published: (2018)

General information manual: FORTRAN.
Published: (1963)

Ten statement Fortran plus Fortran IV for the IBM 360, featuring the WATFOR and WATFIV compilers
by: Kennedy, Michael, 1939-
Published: (1970)

Introduction to basic FORTRAN programming and numerical methods.
by: Prager, William, 1903-1980
Published: (1965)

Fortran II and IV for engineers and scientists.
by: Golde, Hellmut
Published: (1966)

Computer programming for science and engineering
by: Moon, B. A. M.
Published: (1966)

Fortran 90/95 for scientists and engineers /
by: Chapman, Stephen J.
Published: (2004)

Fortran 95/2003 for scientists and engineers /
by: Chapman, Stephen J.
Published: (2008)

Computer science : programming in Fortran IV with WATFOR WATFIV /
Published: (1975)

An introduction to FORTRAN IV programming : a general approach /
by: Murrill, Paul W.
Published: (1975)

An introduction to FORTRAN IV programming; a general approach
by: Murrill, Paul W.
Published: (1970)

Fortran programming.
by: Stuart, Fredric
Published: (1968)

Computer programming handbook /
by: Stark, Peter, 1938-
Published: (1975)

Comprehensive Fortran programming
by: Haag, James N.
Published: (1965)

Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by: Chivers, I. D. (Ian David), 1952-
Published: (2015)

Principles of Fortran programming
by: De Tar, De Los Fletcher, 1920-
Published: (1972)