Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014

Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014Ed. by Klein G., Gamboa R..-Berlin.: Springer, 2014.-Vol. 8558.-555 p.-(Lecture Notes in Computer Science).