Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
7 Treffer
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff: