Normal view
MARC view
- Information Technology - PhD Thesis
Information Technology - PhD Thesis (Topical Term)
Machine generated authority record.
Work cat.: (NUST): Rashid, Adnan 17242, Formalization of Transform methods Using Higher - Order - Logic Theorem proving /, 2019.