Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    PASSMANN, ROBERT
    In: Journal of Symbolic Logic, Jg. 89 (2024-03-05), Heft 1, S. 308-330
    serialPeriodical
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Nonlinear Conte-Zbilut-Federici (CZF) Method of Computing LF/HF Ratio: A More Reliable Index of Changes in Heart Rate Variability.
    Bond Jr, Vernon ; Curry, Bryan H. ; et al.
    In: Journal of Pharmacopuncture, Jg. 19 (2016-09-01), Heft 3, S. 207-212
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY.
    FRITTAION, EMANUELE
    In: Journal of Symbolic Logic, Jg. 88 (2023-09-01), Heft 3, S. 1138-1169
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
    FRITTAION, EMANUELE
    In: Journal of Symbolic Logic, Jg. 88 (2023-09-10), Heft 3, S. 1138-1169
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Unique structural and magnetic traits of Nd3+-substituted Co–Zn nanoferrites
    Almessiere, M.A.
    In: Journal of Rare Earths, 2024, Heft Preprints
    serialPeriodical
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Facilely Magnetized CuZnFe2O4-Activated Carbon Composite as an Efficient Recyclable Adsorbent of Cationic Dyes
    Zhang, Lihua ; Yang, Kun
    In: Journal of Chemical and Engineering Data, Jg. 65 (2020), Heft 11, S. 5532-5544
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
    RATHJEN, MICHAEL ; SWAN, ANDREW W.
    In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
    RATHJEN, MICHAEL ; SWAN, ANDREW W.
    In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Effect of Metals Oxides Loading on the Modification of Microstructure and Phase Transformation of Nanocrystalline CeZrO2Synthesized Using Water-in-oil-Microemulsion
    Hadi, Abdul ; Ismail, Kamariah Noor ; et al.
    In: Procedia Social and Behavioral Sciences, Jg. 195 (2015-07-03), Heft 1, S. 2051-2060
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    THE DISJUNCTION AND RELATED PROPERTIES FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY.
    Rathjen, Michael
    In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254
    Online academicJournal
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A High Multi-drug Resistance to Chemically Unrelated Oomycete Fungicides in Phytophthora infestans
    Ziogas, Basil ; Markoglou, Anastasios ; et al.
    In: European Journal of Plant Pathology, Jg. 115 (2006-07-01), Heft 3, S. 283-292
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A construction of non-well-founded sets within Martin-Löf's type theory
    Lindström, Ingrid
    In: Journal of Symbolic Logic, Jg. 54 (1989-03-01), Heft 1, S. 57-64
    Online serialPeriodical
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    On the Constructive Dedekind Reals: Extended Abstract.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Logical Foundations of Computer Science; (2007) S. 349-362
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    An equivalence canonical form of a matrix triplet over an arbitrary division ring with applications
    Wang, Qing ; Wen ; et al.
    In: SCIENCE CHINA Mathematics, Jg. 54 (2011-05-01), Heft 5, S. 907-924
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    On the existence of Stone-Cech compactification
    Curi, Giovanni
    In: Journal of Symbolic Logic, Jg. 75 (2010-12-01), Heft 4, S. 1137-1146
    Online serialPeriodical
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Functional Interpretations of Constructive Set Theory in All Finite Types
    Diller, Justus
    In: Dialectica, Jg. 62 (2008-06-01), Heft 2, S. 149-177
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    The disjunction and related properties for constructive Zermelo-Fraenkel set theory
    Rathjen, Michael
    In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254
    Online serialPeriodical
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -