INTERACTIVE THEOREM PROVING, ITP 2018

• Type: International Conference Proceedings Book
• Date: 2018

Conference International

9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC)

Oxford, ENGLAND, JUL 09-12, 2018

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-319-94821-8; 978-3-319-94820-1

Electronic ISBN: 978-3-319-94820-1

Collection: Lecture Notes in Computer Science

Vol.: 10895