[Hol-info] IJCAR 2020 - Call for Papers

2019-11-05 Thread geoff
=== CALL FOR PAPERS IJCAR 2020 The 10th International Joint Conference on Automated Reasoning Paris, France, June 29-July 5, 2020

[Hol-info] IJCAR 2020 - Call for Papers

2019-12-19 Thread geoff
=== CALL FOR PAPERS IJCAR 2020 The 10th International Joint Conference on Automated Reasoning Paris, France, June 29-July 5, 2020 https://ijcar2020.org =