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!

Buďte prvý, kto okomentuje tento záznam!