Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
6 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal study in Coq of pi computations using arithmetic-geometric means
    Bertot, Yves ; Mathematical, Reasoning and Software (MARELLE) ; et al.
    In: https://inria.hal.science/hal-01767263 ; 2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263, 2018
    Online Elektronische Ressource
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formal study in Coq of pi computations using arithmetic-geometric means
    Bertot, Yves ; Mathematical, Reasoning and Software (MARELLE) ; et al.
    In: https://hal.inria.fr/hal-01767263 ; 2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263, 2018
    Online Elektronische Ressource
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A sound and complete axiomatization of the equational theory of Mealy machines.
    Pradic, Cécilia ; École normale supérieure de Lyon (ENS de Lyon) ; et al.
    In: https://inria.hal.science/hal-02155786 ; 2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786, 2019
    Online Elektronische Ressource
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A sound and complete axiomatization of the equational theory of Mealy machines.
    Pradic, Pierre ; Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW) ; et al.
    In: https://hal.inria.fr/hal-02155786 ; 2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786, 2019
    Online Elektronische Ressource
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    GeoCoq
    Beeson, Michael ; Boutry, Pierre ; et al.
    In: https://inria.hal.science/hal-01912024 ; 2018, ⟨swh:1:dir:97ce53176b7d5e89d069bc60f49c3fa186831307;origin=https://hal.archives-ouvertes.fr/hal-01912024, 2018
    Online Elektronische Ressource
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    GeoCoq
    Beeson, Michael ; Boutry, Pierre ; et al.
    In: https://hal.inria.fr/hal-01912024 ; 2018, ⟨swh:1:dir:97ce53176b7d5e89d069bc60f49c3fa186831307;origin=https://hal.archives-ouvertes.fr/hal-01912024, 2018
    Online Elektronische Ressource
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -