Algebraic techniques and the mechanization of number theory.
Series: Memorandum -- RM-4319-PR.; Research memorandum (Rand Corporation) -- RM-4319-PR..
Publisher: Rand Corp.
Published: 1965
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 33
Subjects: Number theory.; Algebra.
Notes: Bibliography: p.33.