Normal view
MARC view
- PhD Thesis-Information Technology
PhD Thesis-Information Technology (Topical Term)
Machine generated authority record.
Work cat.: (NUST)526273: Rashid, Adnan 17242, Formalization of transform methods using higher-order-logic theorem proving /, 2019.