EAN: 9783031107689

AUTOMATED REASONING KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783031107689

Produktinformationen zur 9783031107689