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!

Buďte první, kdo okomentuje tento záznam!