Formalization of transform methods using higher-order-logic theorem proving
Rashid, Adnan
creator
Supervisor:Dr Osman Hasan
text
Islamabad
SEECS - NUST
2019
monographic
xvi, 122 p. : ill. ; 30cm.
Adnan Rashid
Dr. Osman Hasan
PhD Thesis-Information Technology
200
http://10.250.8.41:8080/xmlui/handle/123456789/26277
http://10.250.8.41:8080/xmlui/handle/123456789/26277