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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Online Machine Learning Techniques for Coq: A Comparison.
    Zhang, Liao ; Blaauwbroek, Lasse ; et al.
    In: CICM, 2021, S. 67-83
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq.
    Blaauwbroek, Lasse ; Urban, Josef ; et al.
    In: CICM, 2020, S. 271-277
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Plugin to Export Coq Libraries to XML.
    Claudio Sacerdoti Coen
    In: CICM, 2019, S. 243-257
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    The Coq Library as a Theory Graph.
    Dennis Müller 0001 ; Florian Rabe 0001 ; et al.
    In: CICM, 2019, S. 171-186
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Coq Formalization of Digital Filters.
    Gallois-Wong, Diane ; Boldo, Sylvie ; et al.
    In: CICM, 2018, S. 87-103
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Concrete Semantics with Coq and CoqHammer.
    Lukasz Czajka 0001 ; Ekici, Burak ; et al.
    In: CICM, 2018, S. 53-59
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -