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)

von: Didier Galmiche · Stephan Schulz · Roberto Sebastiani Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) EAN=ISBN-13: 978-3-319-94204-9 ISBN-10: 3-319-94204-2 Springer · 2018