Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
(9783319942049 / YES61371385)
Preis von (4 Angebote)53.49 EUR
Weitere Informationen

