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 /

Show other versions (2)

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

Bibliographic Details
Corporate Author: IJCAR (Conference) Haifa, Israel)
Other Authors: Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Kovács, Laura (Editor), Pattinson, Dirk, 1970- (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham, Switzerland : Springer, 2022
Series:LNCS sublibrary Artificial intelligence.
Lecture notes in computer science ; 13385
Lecture notes in computer science Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving > Congresses
Computer logic > Congresses
Automatic theorem proving
Computer logic
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST

Similar Items