Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings

Name: Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings
Brand: Springer International Publishing
SKU: 9783319942049
Price: 109.99 USD
Availability: OutOfStock