Jasmin Blanchette Primary Author Laura Kovács Primary Author Dirk Pattinson Primary Author mixed material bibliography Cham Springer Nature 2022 en English

Ebook

756 Halaman This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book. Software Engineering 006.3 9783031107696 Perpustakaan UMA Online Public Access Catalog (OPAC) 006.3 Jas a Automated Reasoning 978-3-031-10769-6.pdf.jpg.jpg 23703 2026-09-04 13:59:58 2026-09-04 13:59:58 machine generated