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

Full description

Saved in:

Bibliographic Details
Main Authors:	Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2022 Springer International Publishing AG Springer
Edition:	1
Series:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!