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: | IJCAR (Conference) Haifa, Israel) |
---|---|
Other Authors: | Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk, 1970- (Editor) |
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 |
Similar Items
-
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published: (2024) -
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published: (2024) -
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
Published: (1986) -
Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published: (2023) -
Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings /
Published: (2021)