Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
Lizenz
Sprache
-
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
Freier ZugriffDuke University Press | 2016| -
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Freier ZugriffDuke University Press | 2016| -
Controlling Effective Packing Dimension of Δ20 Degrees
Freier ZugriffDuke University Press | 2016| -
The K-Degrees, Low for K Degrees,and Weakly Low for K Sets
Freier ZugriffDuke University Press | 2009| -
Vapnik–Chervonenkis Density on Indiscernible Sequences, Stability, and the Maximum Property
Freier ZugriffDuke University Press | 2015| -
The Parallel versus Branching Recurrences in Computability Logic
Freier ZugriffDuke University Press | 2013| -
Some Remarks on Real Numbers Induced by First-Order Spectra
Freier ZugriffDuke University Press | 2016| -
Complementation in Representable Theories of Region-Based Space
Freier ZugriffDuke University Press | 2013| -
A linear-time algorithm to compute geodesics in solvable Baumslag–Solitar groups
Freier ZugriffDuke University Press | 2010| -
The Halting Problem Is Decidable on a Set of Asymptotic Probability One
Freier ZugriffDuke University Press | 2006| -
Sublinear time algorithms in the theory of groups and semigroups
Freier ZugriffDuke University Press | 2010|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.