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