Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings

DOI10.1007/978-3-031-10769-6zbMath1499.68012OpenAlexW4289103994MaRDI QIDQ2165526

No author found.

Publication date: 19 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings