作者

Jasmin Blanchette / Somnath Mukhopadhyay / Laura Kovács / Sunita Sarkar / Dirk Pattinson / Paramartha Dutta / Jyotsna Kumar Mandal / Sudipta Roy

出版

2022

ISBN

8303110764 / 9788303110763

主題

Automatic theorem proving