Automated Reasoning

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Reasoning : 9783319402291, 3319402293 および 印刷版のISBNは 9783319402284, 3319402285. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Reasoning : 9783319402291, 3319402293 および 印刷版のISBNは 9783319402284, 3319402285. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。