Mauricio Ayala-Rincón - Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 552, publicationDate : 2017-08-21, releaseDate : 2017-08-21, publishers : Mauricio Ayala-Rincón, languages : english, ISBN : 331966106X ...