00557nam a22001577a 4500 534739 534739 Hard Cover. 004 Muhammad Usman Sanwal. Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / Muhammad Usman Sanwal. Islamabad : RCMS - NUST, 2012. ix, 50 p. ill. ; 30cm. ddc THE Computational Science And Engineering - MS Thesis. 23279 Dr. Osman Hasan. 17244 0 0 ddc 0 004_000000000000000 0 496859 CL CL THE 2020-03-18 0 004 CL-T-5589 2020-03-18 2020-03-18 THE