Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

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 sel...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Médium: E-kniha
Jazyk:angličtina
Vydáno: Cham Springer Nature 2022
Springer International Publishing AG
Springer
Vydání:1
Edice:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Témata:
Artificial intelligence
automata theory
Automatic theorem proving
computer hardware
Computer networking and communications
computer networks
computer programming
Computer programming / software engineering
Computer science
computer systems
Computing and Information Technology
embedded systems
formal languages
formal logic
logic programming
Mathematical theory of computation
network protocols
semantics
software architecture
software design
Software Engineering
theoretical computer science
ISBN:9783031107696, 3031107691, 9783031107689, 3031107683
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISBN:9783031107696
3031107691
9783031107689
3031107683
DOI:10.1007/978-3-031-10769-6