Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12 (Paperback)

Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, (Paperback, 2018)

Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, (Paperback, 2018)