Rajeev Gore

Rajeev Gore has written at least 1 book. Their most popular book is Automated Reasoning with 0 saves with an average rating of -⭐.

Details	Rating	Readers Count	Controls
Automated Reasoning Rajeev Gore Alexander Leitsch Tobias Nipkow	0	0 reads

Community

Follow Along

We're an Open Book

Footer links