000 00228nam a22000737a 4500
008 140613b xxu||||| |||| 00| 0 eng d
020 _cAvailable
245 _aThesis:Formalization of Asymptotic Notation in Higher-Order-Logic
_cNadeem Iqbal
999 _c24553
_d24553