Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
6 Treffer

Suchmaske

Suchtipp für den Bereich 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".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    BFT-TO: Intrusion Tolerance with Less Replicas.
    Correia, Miguel ; Neves, Nuno Ferreira ; et al.
    In: Computer Journal, Jg. 56 (2013-06-01), Heft 6, S. 693-715
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Unifiers in transitive modal logics for formulas with coefficients (meta-variables).
    Rybakov, Vladimir
    In: Logic Journal of the IGPL, Jg. 21 (2013-04-01), Heft 2, S. 205-215
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Writing out unifiers for formulas with coefficients in intuitionistic logic.
    Rybakov, Vladimir V.
    In: Logic Journal of the IGPL, Jg. 21 (2013-04-01), Heft 2, S. 187-198
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Hyperidentities of De Morgan algebras.
    Movsisyan, Yu. M. ; Aslanyan, V. A.
    In: Logic Journal of the IGPL, Jg. 20 (2012-12-01), Heft 6, S. 1153-1174
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    On Action Logic: Equational Theories of Action Algebras.
    Buszkowski, Wojciech
    In: Journal of Logic & Computation, Jg. 17 (2007-02-01), Heft 1, S. 199-217
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Coherence and the Role of Specificity: A Response to Meijs and Douven.
    Bovens, Luc ; Hartmann, Stephan
    In: Mind, Jg. 114 (2005-04-01), Heft 454, S. 365-369
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?

Weitere Bibliothekskataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -