Author/Creator: ITP (Conference), 9th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator ITP (Conference), 9th

1. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018)

Editors:: Avigad, Jeremy; Mahboubi, Assia
Other Names:: ITP (Conference), 9th; Federated Logic Conference
Record Type:: Book
Extent:: 1 online resource (xvii, 642 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗