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

• Complexity Theory  + (Space Complexity)
• Complexity Theory  + (Space Complexity (cont'd))
• Complexity Theory  + (Space Complexity (continued))
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Foundations of Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps)
• Complexity Theory  + (Space Hierarchy and Gaps (continued))
• SparrowToRiss  + (SparrowToRiss)
• Spatial concepts - a rule exploration  + (Spatial concepts - a rule exploration)
• Special ``TACAS'15 issue  + (Special ``TACAS'15'' issue)
• Specification of a common framework for characterizing alignment  + (Specification of a common framework for characterizing alignment)
• Speeding up Approximation with Nicer Concepts  + (Speeding up Approximation with Nicer Concepts)
• Spinoza's Ontology  + (Spinoza's Ontology)
• Foundations of Logic Programming  + (Stable Model Semantics)
• Foundations of Logic Programming  + (Stable Model Semantics)
• Foundations of Logic Programming  + (Stable Model Semantics)
• Stage semantics and the SCC-recursive schema for argumentation semantics  + (Stage semantics and the SCC-recursive schema for argumentation semantics)
• Standpoint Linear Temporal Logic  + (Standpoint Linear Temporal Logic)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information)

• Standpoint Logic: Multi-Perspective Knowledge Representation  + (Standpoint Logic: Multi-Perspective Knowledge Representation)

• State Complexity of Projected Languages  + (State Complexity of Projected Languages)
• State Defaults and Ramifications in the Unifying Action Calculus  + (State Defaults and Ramifications in the Unifying Action Calculus)
• Static Partial Order Reduction for Probabilistic Concurrent Systems  + (Static Partial Order Reduction for Probabilistic Concurrent Systems)
• Statistical EL is ExpTime-complete  + (Statistical EL is ExpTime-complete)
• Status QIO: Conjunctive Query Entailment is Decidable  + (Status QIO: Conjunctive Query Entailment is Decidable)
• Stochastic Game Logic  + (Stochastic Game Logic)
• Stochastic Game Logic  + (Stochastic Game Logic)
• SAT-Solving  + (Stochastic Local Search)
• Stochastic Reasoning About Channel-Based Component Connectors  + (Stochastic Reasoning About Channel-Based Component Connectors)
• Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes  + (Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes)
• Stochastic Timed Automata  + (Stochastic Timed Automata)
• Stochastic transition systems: bisimulation, logic, and composition  + (Stochastic transition systems: bisimulation, logic, and composition)
• Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation)
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access  + (Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access)
• Stream Packing for Asynchronous Multi-Context Systems using ASP  + (Stream Packing for Asynchronous Multi-Context Systems using ASP)
• Stream reasoning and complex event processing in ETALIS  + (Stream reasoning and complex event processing in ETALIS)
• Strong Equivalence for Argumentation Semantics based on Conflict-free Sets  + (Strong Equivalence for Argumentation Semantics based on Conflict-free Sets)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decomposition Techniques I)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decomposition Techniques II)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decompositions)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decompositions 1)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decompositions 1)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decompositions 1)
• Problem Solving and Search in Artificial Intelligence  + (Structural Decompositions 1)