Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Schlagwort

Verlag

41 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The first-order logic of CZF is intuitionistic first-order logic
    Passmann, Robert
    2021
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    How strong is a Reinhardt set over extensions of CZF?
    Jeon, Hanul
    2021
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CZF does not have the Existence Property
    Swan, Andrew W
    2013
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Nonlinear conte-zbilut-federici (CZF) method of computing LF/HF ratio: A more reliable index of changes in heart rate variability
    Bond, Vernon ; Curry, Bryan H. ; et al.
    In: Howard University Cancer Center Faculty Publications, 2016
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Constructive Ackermann's interpretation
    Jeon, Hanul
    2020
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    The independence of premise rule in intuitionistic set theories
    Nemoto, Takako ; Rathjen, Michael
    2019
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Equivalents of the finitary non-deterministic inductive definitions
    Hirata, Ayana ; Ishihara, Hajime ; et al.
    2019
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Classifying the provably total set functions of KP and KP(P)
    Cook, Jacob ; Rathjen, Michael
    2016
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The proof-theoretic strength of Constructive Second-order set theories
    Jeon, Hanul
    2023
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Independence Results around Constructive ZF
    Lubarsky, Robert
    2015
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    2014
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Low-Complexity Transmission Mode Selection in MU-MIMO Systems
    Liu, Haijing ; Gao, Hui ; et al.
    2014
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
    Rathjen, Michael
    2013
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A simple computational interpretation of set theory
    Méhkeri, Daniel
    2010
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    On the existence of Stone-Cech compactification
    Curi, Giovanni
    2009
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Higher-order Games with Dependent Types
    Escardó, Martín ; Oliva, Paulo
    2022
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Very large set axioms over constructive set theories
    Jeon, Hanul ; Matthews, Richard
    2022
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Towards constructivising the Freyd-Mitchell embedding theorem
    Montaruli, Anna Giulia
    2022
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Magneto-optical properties of rare earth metals substituted Co-Zn spinel nanoferrites
    Almessiere, M. A. ; Korkmaz, A. Demir ; et al.
    2018
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    The cumulative hierarchy in Homotopy Type Theory
    Eleftheriadis, Ioannis
    2021
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -