Can I read Discover The Complete Collection of Resources on EtoBox?

Discover The Complete Collection of Resources by dpktyirxi8084 is a document available to read on EtoBox.

What is Discover The Complete Collection of Resources about?

The document is the proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), which took place remotely from July 1-4, 2020, due to the COVID-19 pandemic. It includes papers on various aspects of automated reasoning, with 150 submissions resulting in 62 accepted papers. The conference featured invited talks and acknowledged support from several research institutions.

Author

dpktyirxi8084

Language

EN