Actions for Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Email RIS file
Bookmark
Report an Issue

Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition
1st ed. 2022.
Physical Description
XV, 756 p. 110 illus., 42 illus. in color. online resource
Additional Creators
Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk, and SpringerLink (Online service)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Restrictions on Access
License restrictions may limit access.
Summary
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Subject(s)
Genre(s)
ISBN
9783031107696
9783031107689 (print)
9783031107702 (print)
Digital File Characteristics
text file PDF
Part Of
Springer Nature eBook
View MARC record | catkey: 39667220