NUST Institutions Library Catalogue catalog › Details for: Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic

Normal view MARC view ISBD view

Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic Nadeem Iqbal

Material type: Text

Text

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	Date due	Barcode	Item holds
	Central Library (CL)	Central Library (CL)	Thesis	004 (Browse shelf)	Available		CL-T-5575
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks		Available		RCMS002320

Total holds: 0

There are no comments on this title.

to post a comment.