Suchergebnisse für "Gerwin Klein/Ruben Gamboa"

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17,2014, Proceedings, Lecture Notes in Computer Science 8558 - Theoretical Computer Science and General Issues

Gerwin Klein/Ruben Gamboa

Springer Verlag GmbH