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

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2014-08-01, releaseDate : 2014-08-01, publishers : Gerwin Klein, languages : english, ISBN : 3319089692 ...