| 000 | 00463nam a22001337a 4500 | ||
|---|---|---|---|
| 082 | _aMSEE-3 | ||
| 100 |
_aSohaib Ahmad _999018 |
||
| 245 | _aFormal reasoning about molecular pathways in higher order logic | ||
| 260 |
_aIslamabad _bNUST-SEECS _c2014 |
||
| 300 |
_a42p.: _b27cm.+ _eCD-ROM |
||
| 500 | _aSupervisors: Dr. Osman Hasan Dr. Awais Kamboh Dr. Rehan Hafiz Dr. Murtaza Khan | ||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/8775 | ||
| 942 |
_cPR _2ddc |
||
| 999 |
_c13165 _d13165 |
||