Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

79 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it
    Kürbis, Nils
    2021
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Notes on Category Theory with examples from basic mathematics
    Perrone, Paolo
    2019
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
    Bozzato, Loris ; Eiter, Thomas ; et al.
    2019
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Note on Fixed Points in Justification Logics and the Surprise Test Paradox
    Ghari, Meghdad
    2014
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    First-Order Game Logic and Modal Mu-Calculus
    Wafa, Noah Abou El ; Platzer, André
    2022
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A modest proposal: explicit support for foundational pluralism
    Berger, Martin ; Mulligan, Dominic P.
    2023
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    The non-normal abyss in Kleene's computability theory
    Sanders, Sam
    2023
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    G\'odel-Dummett linear temporal logic ; G\ 'odel-Dummett linear temporal logic
    Aguilera, Juan Pablo ; Diéguez, Martín ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    PFL: a Probabilistic Logic for Fault Trees
    Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
    Vilmart, Renaud
    2023
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    About the Expressive Power and Complexity of Order-Invariance with Two Variables
    Bednarczyk, Bartosz ; Grange, Julien
    2023
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Logical Interpretation of Asynchronous Multiparty Compatibility
    Carbone, Marco ; Marin, Sonia ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Expressiveness Results for an Inductive Logic of Separated Relations
    Iosif, Radu ; Zuleger, Florian
    2023
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Model of models -- Part 1
    Komarovsky, Shimon
    2023
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology
    Bella, Giampaolo ; Castiglione, Gianpietro ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Introduction to Categories and Categorical Logic
    Abramsky, Samson ; Tzevelekos, Nikos
    2011
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
    Kumar, Nitesh ; Kuzelka, Ondrej ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
    Lyon, Tim S.
    2022
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Logical Relations for Partial Features and Automatic Differentiation Correctness
    Nunes, Fernando Lucatelli ; Vákár, Matthijs
    2022
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A Fundamental Probabilistic Fuzzy Logic Framework Suitable for Causal Reasoning
    Saki, Amir ; Faghihi, Usef
    2022
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -