Your search returned 6003 results.

Not what you expected? Check for suggestions

Results
	6001.	No cover image available No cover image available Neural theorem proving in lean by Vishwakarma, Rahul \| Dalai, Deepak Kumar [Guide] \| Mishra, Subhankar [Guide]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bhubaneswar : NISER, 2024Availability: Items available for reference: NISER LIBRARY: Not for loan (1)Call number: 519.6 VIS-N. Log in to add tags Add to cart (remove)
	6002.	No cover image available No cover image available Study on random matrices by Naskar, Rohan \| Majumder, Kaushik [Guide]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bhubaneswar : NISER, 2024Availability: Items available for reference: NISER LIBRARY: Not for loan (1)Call number: 512.643 NAS-S. Log in to add tags Add to cart (remove)
	6003.	Course on group theory by Rose, John S. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Dover Publications, 1994Online access: Table of contents \| Reviews Availability: Items available for loan: NISER LIBRARY (1)Call number: 512.54 ROS-C. Place hold Log in to add tags Add to cart (remove)

Refine your search