Automated reasoning : Part I / 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.).
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Aut...
Full description
Saved in: