Automated Reasoning With Analytic Tableaux And Related Methods

  1. Home
  2. Automated Reasoning With Analytic Tableaux And Related Methods

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II  eBooks & eLearning

Posted by roxul at June 30, 2020
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Nicolas Peltier, "Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II"
English | ISBN: 3030510530 | 2020 | 528 pages | EPUB, PDF | 33 MB + 20 MB
Details

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I  eBooks & eLearning

Posted by roxul at June 30, 2020
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Nicolas Peltier, "Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I"
English | ISBN: 3030510735 | 2020 | 564 pages | EPUB, PDF | 34 MB + 15 MB
Details