Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available No cover image available Representation group flow by Pratheek, Tata Satya \| Dalai, Deepak Kumar [Guide]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bhubaneswar: NISER, 2023Availability: Items available for reference: NISER LIBRARY: Not for loan (1)Call number: 519.85 PRA-R. Log in to add tags Add to cart (remove)
	2.	No cover image available No cover image available Minimum consistent subset (MCS) for grids, trees and graphs with bounded tree-width by Priya K M, Krishna \| Dalai, Deepak Kumar [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 PRI-M. Log in to add tags Add to cart (remove)
	3.	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)

Refine your search