Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science, Band 10499)

Interactive

von: Mauricio Ayala-Rincón · César A. Muñoz

Taschenbuch

EAN=ISBN-13: 978-3-319-66106-3

ISBN-10: 3-319-66106-X

Springer · 2017