Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Saved in:

Bibliographic Details
Corporate Author:	IJCAR (Conference) Haifa, Israel)
Other Authors:	Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk, 1970- (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2022.
Series:	Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science ; 13385. LNCS sublibrary. Artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Computer logic > Congresses. Automatic theorem proving Computer logic proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Login for hold information

‌

Click for online access

Online

Holdings details from Online
	Available