TY  - BOOK
AU  - Rashid, Adnan
AU  - Supervisor:Dr Osman Hasan
TI  - Formalization of transform methods using higher-order-logic theorem proving
U1  - 200 
PY  - 2019///
CY  - Islamabad
PB  - SEECS - NUST
KW  - Dr. Osman Hasan
KW  - PhD Thesis-Information Technology
UR  -  http://10.250.8.41:8080/xmlui/handle/123456789/26277
ER  -