Vol-1784⫷ Vol-1785 ⫸Vol-1786
urn:nbn:de:0074-1785-0


None⫷None⫸None
Hiroyuki OkazakiYuichi Futa

Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar