Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
1 Treffer
-
In: 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022, S. 1-20KonferenzZugriff: