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

Author/Creator ITP (Conference), 8th

1. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017)

Editors:: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968-
Other Names:: ITP (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xix, 532 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗