TY  - BOOK
AU  - Syeda Hira Taqdees
TI  - Formalization of laplace transform using the multivariable calculus theory of HOL-Light
U1  - MSEE-3 HIR 
PY  - 2013///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8811
ER  -