Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• The Theory of Idempotent Semigroups is of Unification Type Zero  + (The Theory of Idempotent Semigroups is of Unification Type Zero)
• The Triguarded Fragment of First-Order Logic  + (The Triguarded Fragment of First-Order Logic)
• The Two Cultures: Mashing up Web 2.0 and the Semantic Web  + (The Two Cultures: Mashing up Web 2.0 and the Semantic Web)
• The Two Views on Ontological Query Answering  + (The Two Views on Ontological Query Answering)
• The Undecidability of System NEL  + (The Undecidability of System NEL)
• The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus  + (The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (The Varieties of Ought-implies-Can and Deontic STIT Logic)
• The WHILE Hierarchy of Program Schemes is Infinite  + (The WHILE Hierarchy of Program Schemes is Infinite)
• The Weak Completion Semantics and Counter Examples  + (The Weak Completion Semantics and Counter Examples)
• The Weak Completion Semantics and Counterexamples  + (The Weak Completion Semantics and Counterexamples)
• The Weak Completion Semantics and Equality  + (The Weak Completion Semantics and Equality)
• The Well-Founded Semantics is a Stratified Fitting Semantics  + (The Well-Founded Semantics is a Stratified Fitting Semantics)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The cf2 Argumentation Semantics Revisited  + (The cf2 Argumentation Semantics Revisited)
• The cf2 argumentation semantics revisited  + (The cf2 argumentation semantics revisited)
• The classification of homomorphism homogeneous tournaments  + (The classification of homomorphism homogeneous tournaments)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming)
• The effect of tossing coins in omega-automata  + (The effect of tossing coins in omega-automata)
• The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics)
• The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.  + (The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.)
• The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.  + (The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.)
• The role of pragmatics in solving the Winograd Schema Challenge  + (The role of pragmatics in solving the Winograd Schema Challenge)
• The two cultures: mashing up Web 2.0 and the Semantic Web  + (The two cultures: mashing up Web 2.0 and the Semantic Web)
• The variance-penalized stochastic shortest path problem  + (The variance-penalized stochastic shortest path problem)
• Themenvorschläge für Studien- und Abschlussarbeiten  + (Themenvorschläge für Studien- und Abschlussarbeiten)
• Theofilos Mailis  + (Theofilos Mailis)
• Theofilos Mailis  + (Theofilos Mailis)
• Theorem Proving for Metric Temporal Logic over the Naturals  + (Theorem Proving for Metric Temporal Logic over the Naturals)

• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)

• Theoretische Informatik  + (Theoretische Informatik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theses  + (Theses)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008))
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)