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)

Interactive

von: Jeremy Avigad · Assia Mahboubi

Taschenbuch

ISBN: 978-3-319-94820-1

ISBN-10: 3-319-94820-2

Springer · 2018