Automated Reasoning

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I 1st 版 著者: Nicolas Peltier; Viorica SofronieStokkermans 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Reasoning : 9783030510749, 3030510743 および 印刷版のISBNは 9783030510732, 3030510735. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I 1st 版 著者: Nicolas Peltier; Viorica SofronieStokkermans 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Reasoning : 9783030510749, 3030510743 および 印刷版のISBNは 9783030510732, 3030510735. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。