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žené v:
Podrobná bibliografia
Hlavní autori: Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: Cham Springer Nature 2022
Springer International Publishing AG
Springer
Vydanie:1
Edícia:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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