Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, Band 8558)

Interactive

von: Gerwin Klein · Ruben Gamboa

Taschenbuch

ISBN-13: 978-3-319-08969-0

ISBN-10: 3-319-08969-2

Springer · 2014