TY  - BOOK
AU  - Blanchette,Jasmin
AU  - Kovács,Laura
AU  - Pattinson,Dirk
ED  - SpringerLink (Online service)
TI  - Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings 
T2  - Lecture Notes in Artificial Intelligence,
SN  - 9783031107696
AV  - QA267-268.5 
U1  - 005.131 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Machine theory
KW  - Software engineering
KW  - Computer engineering
KW  - Computer networks 
KW  - Artificial intelligence
KW  - Computer science
KW  - Formal Languages and Automata Theory
KW  - Software Engineering
KW  - Computer Engineering and Networks
KW  - Artificial Intelligence
KW  - Computer Science Logic and Foundations of Programming
N1  - Open Access
N2  - This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com
UR  - https://doi.org/10.1007/978-3-031-10769-6
ER  -