NUST Institutions Library Catalogue catalog › Results of search for 'au:"Sofiene, Tahar"'

Your search returned 2 results.

Not what you expected? Check for suggestions

		Formalized Probability theory and applications using theoren proving by Osman, Hasan \| Sofiene, Tahar. Material type: Text Publisher: USA Information Science Reference 2015Availability: Items available for loan: Central Library (CL)Call number: 004.029 OSM (1). Place hold Find in NUST Repository
		No cover image available FORMALIZED THEORY AND APPLICATIONS / OSMAN HASAN SOFIENE TAHAR. by TAHAR,SOFIENE HASAN OSMAN. Material type: Text Publisher: NEW YORK ; 2015Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 004.029 OSM (1). Place hold Find in NUST Repository