Algebraic techniques and the mechanization of number theory /

Bibliographic Details

Main Author:	Cook, Stephen A.
Corporate Author:	Rand Corporation
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand Corp., [1965]
Series:	Memorandum (Rand Corporation) ; RM-4319-PR.
Subjects:	Number theory. Algebra.