Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10769-6
- Collation
- xv, 756p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.13 Aut
Search Result
Found 1 from your keywords: Author : Blanchette, Jasmin
Query took 0.0006 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography