Formalization of Transform Methods using Higher - order - logic Theorem Proving

dc.contributor.author	Adnan Rashid
dc.date.accessioned	2021-09-28T15:52:36Z
dc.date.available	2021-09-28T15:52:36Z
dc.date.issued	2019
dc.identifier.uri	http://10.250.8.41:8080/xmlui/handle/123456789/26277
dc.description.sponsorship	Dr. Osman Hasan	en_US
dc.language.iso	en	en_US
dc.publisher	SEECS, National University of Science and Technology, Islamabad.	en_US
dc.subject	PhD IT SEECS 2019	en_US
dc.title	Formalization of Transform Methods using Higher - order - logic Theorem Proving	en_US
dc.type	Thesis	en_US