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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2022 Springer International Publishing AG Springer
Ausgabe:	1
Schriftenreihe:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!