Erscheinungsjahr
Fach
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Theorie
Suche ohne Synonyme: keywords:("Theorie")
Verwendete Synonyme:
- theories
- theory
-
An efficient SMT solver for string constraints
Online Contents | 2016|Schlagwörter: Satisfiability modulo theories -
Reluplex: a calculus for reasoning about deep neural networks
Online Contents | 2021|Schlagwörter: Satisfiability modulo theories -
An efficient SMT solver for string constraints
Online Contents | 2016|Schlagwörter: Satisfiability modulo theories -
Forking geometry on theories with an independent predicate
Springer Verlag | 2014|Schlagwörter: U-rank one theories, n-Ample theories, Strongly dependent theories -
Locke on Knowledge and Belief
Wiley | 2015|Schlagwörter: theories of knowledge, theories of belief -
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
Online Contents | 2010|Schlagwörter: Combination of theories, Satisfiability modulo theories -
Ab initio generic structures which are superstable but not ω-stable
Online Contents | 2011|Schlagwörter: Superstable theories, -stable theories -
On a non-nested level-based representation of fuzziness
Elsevier | 2011|Schlagwörter: Fuzzy set theories -
Refutation-based synthesis in SMT
Online Contents | 2017|Schlagwörter: Satisfiability modulo theories -
Chapter 20 The Discourses of Climate Change Denialism across Conspiracy and Pseudoscience Websites
Freier ZugriffTIBKAT | 2024|Schlagwörter: fake news,disinformation,misinformation,post truth,alternative facts,conspiracy theories, Conspiracy theories -
Contextualising the IT artefact: towards a wider research agenda for IS using institutional theory
Emerald Group Publishing | 2009|Schlagwörter: Social theories -
HISTORICAL VERSUS CURRENT TIME SLICE THEORIES IN EPISTEMOLOGY
Wiley | 2016|Schlagwörter: historical time slice theories, current time slice theories -
OMTPlan: A Tool for Optimal Planning Modulo Theories
Freier ZugriffIOS Press | 2023|Schlagwörter: Optimisation Modulo Theories -
Refutation-based synthesis in SMT
Online Contents | 2017|Schlagwörter: Satisfiability modulo theories -
Children's Explanations as a Window Into Their Intuitive Theories of the Social World
Wiley | 2014|Schlagwörter: Intuitive theories -
Theoretical perspectives on identity: researching identities in healthcare education
Wiley | 2015|Schlagwörter: developmental theories of identity, individual theories of identity, social identity theory -
Fields with a dense-codense linearly independent multiplicative subgroup
Online Contents | 2019|Schlagwörter: Stable theories, NIP theories -
Comparing axiomatizations of free pseudospaces
Online Contents | 2009|Schlagwörter: Stable theories, Equational theories -
The direct learning theory: a naturalistic approach to learning for the post-cognitivist era
SAGE Publications | 2019|Schlagwörter: learning theories
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.