Personensuche
X
?
5
Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the...
Lecture Notes in Computer Science ; 10895;Theoretical Computer Science and General Issues ; 10895;SpringerLink, Bücher