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.
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , , |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
2022.
|
Series: | Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13385. LNCS sublibrary. Artificial intelligence. |
Subjects: | |
Online Access: | CONNECT CONNECT |