Normal view
MARC view
- Syeda Hira Taqdees
Syeda Hira Taqdees (Personal Name)
Machine generated authority record.
Work cat.: (NUST)13010: Syeda Hira Taqdees, Formalization of laplace transform using the multivariable calculus theory of HOL-Light, 2013