Erscheinungsjahr
Datenquelle
Fach
Format
Lizenz
Synonyme wurden verwendet für: Stufe
Suche ohne Synonyme: keywords:(Stufe)
Verwendete Synonyme:
- treppenstufe
-
Complexity of Constraint Satisfaction Problems for Unions of Theories
Freier ZugriffTIBKAT | 2021|Schlagwörter: Stufe 1 -
Complexity of constraint satisfaction problems for unions of theories
TIBKAT | 2021|Schlagwörter: Stufe 1 -
Anpassung der Zoom-Stufe in der mobilen Karte für die Selbstlokalisation
Freier ZugriffBASE | 2020|Schlagwörter: Zoom-Stufe -
Answering Conjunctive Queries and FO+MOD Queries under Updates
Freier ZugriffDataCite | 2020|Schlagwörter: Logik erster Stufe mit Modulo-Zähl-Quantoren -
Answering Conjunctive Queries and FO+MOD Queries under Updates
Freier ZugriffBASE | 2020|Schlagwörter: Logik erster Stufe mit Modulo-Zähl-Quantoren -
Stochastische Materialmodellierung mit einer Anwendung auf die Wellenausbreitung in Kompositen : Von der Fakultät für Maschinenbau der Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg zur Erlangung des akademischen Grades eines Doktor-Ingenieurs genehmigte Dissertation von
TIBKAT | 2019|Schlagwörter: Stufe -
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
DataCite | 2019|Schlagwörter: Prädikatenlogik / Stufe 1 -
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Freier ZugriffBASE | 2019|Schlagwörter: Prädikatenlogik / Stufe 1 -
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
TIBKAT | 2018|Schlagwörter: Stufe n -
On Invariant Formulae of First-Order Logic with Numerical Predicates
Freier ZugriffBASE | 2018|Schlagwörter: Prädikatenlogik erster Stufe -
On Invariant Formulae of First-Order Logic with Numerical Predicates
Freier ZugriffDataCite | 2018|Schlagwörter: Prädikatenlogik erster Stufe -
Complexity of Normal Forms on Structures of Bounded Degree
Freier ZugriffBASE | 2018|Schlagwörter: Logik erster Stufe -
Complexity of Normal Forms on Structures of Bounded Degree
Freier ZugriffDataCite | 2018|Schlagwörter: Logik erster Stufe -
Complexity and expressivity of dependence logic extensions
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014|Schlagwörter: Stufe 1 -
Satisfiability and model checking in team based logics
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014|Schlagwörter: Stufe 2 -
A methodology for the characterization of flow conductivity through the identification of communities in samples of fractured rocks
Tema Archiv | 2014|Schlagwörter: Erste Stufe
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.