Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Crystal structure and magnetic properties study on barium hexaferrite (BHF) and cobalt zinc ferrite (CZF) in composites
    Manglam, Murli Kumar ; Mallick, Jyotirekha ; et al.
    In: Solid state sciences, Jg. 113 (2021)
    serialPeriodical
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Kripke models for subtheories of CZF : Computability in Europe; Logic and theory of algorithms
    Iemhoff, R.
    In: ARCHIVE FOR MATHEMATICAL LOGIC, Jg. 49 (2010), Heft 2, S. 147-168
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CZF does not have the existence property
    Swan, A. W.
    In: ANNALS OF PURE AND APPLIED LOGIC, Jg. 165 (2014), Heft 5, S. 1115-1147
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A generalized cut characterization of the fullness axiom in CZF
    Crosilla, L.
    In: LOGIC JOURNAL- IGPL, Jg. 21 (2013), Heft 1, S. 63-76
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Kripke models for subtheories of CZF
    Iemhoff, R.
    In: ARCHIVE FOR MATHEMATICAL LOGIC, Jg. 49 (2010), Heft 2, S. 147-167
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    CZF and Second Order Arithmetic
    Lubarsky, R. S.
    In: ANNALS OF PURE AND APPLIED LOGIC, Jg. 141 (2006), Heft 1-2, S. 29-34
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Josep Lluis Mateo Torre CZF Barcellona
    In: CASABELLA -MILAN-, 2006, Heft 742, S. 22-33
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    More Media Filter-CZF Electrolysis-slightly Polluted Water Processing Precision Filtration
    Peijun, Lv
    In: Guangdong hua gong, Jg. 43 (2016), Heft 22, S. 129-130
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Sheaf Models for CZF Refuting Powerset and Full Separation : Mathematical logic: proof theory, constructive mathematics
    Streicher, T. ; Simpson, A.
    In: OBERWOLFACH REPORTS, Jg. 5 (2008), Heft 2, S. 934-935
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Realizability Models for CZF + ¬Pow : Mathematical logic: proof theory, type theory and constructive mathematics
    Streicher, T.
    In: OBERWOLFACH REPORTS, Jg. 2 (2005), Heft 1, S. 793-793
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    The Disjunction Property for CZF : Mathematical logic: proof theory, type theory and constructive mathematics
    Rathjen, M.
    In: OBERWOLFACH REPORTS, Jg. 2 (2005), Heft 1, S. 793-793
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -