NUST Institutions Library Catalogue catalog › Details for: Formalization of transform methods using higher-order-logic theorem proving /

Normal view MARC view ISBD view

Formalization of transform methods using higher-order-logic theorem proving / Adnan Rashid

By: Rashid, Adnan Contributor(s): Supervisor:Dr Osman Hasan Material type: Text

TextPublisher: Islamabad: SEECS - NUST, 2019Description: xvi, 122 p. : ill. ; 30cmSubject(s): Dr. Osman Hasan | PhD Thesis-Information TechnologyDDC classification: 200 Online resources: Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Shelving location	Call number	Status	Barcode
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available	CLPT-81
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available	CLPT-91
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available	CLPT-80

Total holds: 0

There are no comments on this title.

to post a comment.