00628nam a22001937a 4500 NUST Hardcover. Mr. Zahoor 200 Rashid, Adnan 17242 Formalization of transform methods using higher-order-logic theorem proving / Adnan Rashid Islamabad: SEECS - NUST, 2019. xvi, 122 p. : ill. ; 30cm. Dr. Osman Hasan 17244 PhD Thesis-Information Technology 124746 Supervisor:Dr Osman Hasan 97781 http://10.250.8.41:8080/xmlui/handle/123456789/26277 ddc SC 526273 526273 0 0 ddc 0 0 CL CL THE 2019-07-10 200 CLPT-91 2019-07-10 2019-07-10 SC 0 0 ddc 0 0 CL CL THE 2019-07-10 200 CLPT-80 2019-07-10 2019-07-10 SC 0 0 ddc 0 0 CL CL THE 2024-07-23 0 200 CLPT-81 2024-07-23 2024-07-23 SC