Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
9 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

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq à la conquête des moulins
    Rideau, Laurence ; Serpette, Bernard, P. ; et al.
    In: JFLA '2005 ; https://inria.hal.science/inria-00001128 ; JFLA '2005, INRIA, Mar 2005, Obernai, pp.169-180, 2005
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Coq à la conquête des moulins
    Rideau, Laurence ; Serpette, Bernard ; et al.
    In: JFLA '2005 ; https://hal.inria.fr/inria-00001128 ; JFLA '2005, INRIA, Mar 2005, Obernai, pp.169-180, 2005
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    La vérité et la machine
    Werner, Benjamin ; Types, Logic and computing (TYPICAL) ; et al.
    In: ISSN: 2270-6224 ; Interstices ; https://inria.hal.science/hal-01350404 ; Interstices, 2009 ; https://interstices.info/jcms/c_42623/la-verite-et-la-machine, 2009
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Preuves formelles, preuves calculatoires
    Werner, Benjamin ; Types, Logic and computing (TYPICAL) ; et al.
    In: ISSN: 2270-6224 ; Interstices ; https://inria.hal.science/hal-01350254 ; Interstices, 2007 ; https://interstices.info/jcms/c_23115/preuves-formelles-preuves-calculatoires, 2007
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)
    Schmitt, Alan ; System architecture for reflective distributed computing environments (SARDES) ; et al.
    In: https://inria.hal.science/inria-00362717 ; INRIA. INRIA, pp.174, 2009; (2009)
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)
    Schmitt, Alan ; System architecture for reflective distributed computing environments (SARDES) ; et al.
    In: https://hal.inria.fr/inria-00362717 ; INRIA. INRIA, pp.174, 2009; (2009)
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Décurryfication certifiée
    Dargaye, Zaynah ; Programming languages, types, compilation and proofs (GALLIUM) ; et al.
    In: Journées Francophones des Langages Applicatifs (JFLA 2007) ; https://hal.inria.fr/inria-00338974 ; Journées Francophones des Langages Applicatifs (JFLA 2007), INRIA, Jan 2007, Aix-les-Bains, France. pp.119-134, 2007
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Décurryfication certifiée
    Dargaye, Zaynah ; Programming languages, types, compilation and proofs (GALLIUM) ; et al.
    In: Journées Francophones des Langages Applicatifs (JFLA 2007) ; https://inria.hal.science/inria-00338974 ; Journées Francophones des Langages Applicatifs (JFLA 2007), INRIA, Jan 2007, Aix-les-Bains, France. pp.119-134, 2007
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?
    Goubault-Larrecq, Jean ; Laboratoire Spécification et Vérification Cachan (LSV) ; et al.
    In: 15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04) ; https://hal.inria.fr/hal-03201265 ; 15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40, 2004
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -