Formalizing Basic Number Theory
Thomas M. Rasmussen
Type
Technical report
Year
2000
No.
502
Publisher
Computer Laboratory, University of Cambridge
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering