Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Sprache
3 Treffer
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff: