000 00260nam a22000737a 4500
008 140612b xxu||||| |||| 00| 0 eng d
020 _cAvailable
245 _aThesis:Format analysis of homogene ous linear differential Equations using therem proving
_cMuhmmad Usman Sanwal
999 _c24541
_d24541