Your search returned 2081 results.

Not what you expected? Check for suggestions

Results
	2081.	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