Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Artificial Intelligence, 13385
Subjects:	Machine theory. Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computer science. Formal Languages and Automata Theory. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Electronic books.
Online Access:	Connect to the full text of this electronic book