Normal view
MARC view
- Dr. Osman Hasan
Dr. Osman Hasan (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Rashid, Adnan 17242, Formalization of Transform methods Using Higher - Order - Logic Theorem proving /, 2019.