Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)

von: Jeremy Avigad · Assia Mahboubi Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-94820-1 ISBN-10: 3-319-94820-2 Springer · 2018