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

• Minimised Residue Hypotheses in Relevant Logic  + (Minimised Residue Hypotheses in Relevant Logic)
• Mining of EL-GCIs  + (Mining of EL-GCIs)
• MinitSAT  + (MinitSAT)
• Algorithmic Game Theory  + (Missing Information: Modelling)
• Algorithmic Game Theory  + (Missing Information: Modelling)
• Algorithmic Game Theory  + (Missing Information: Solving)
• Algorithmic Game Theory  + (Missing Information: Solving)
• Mixing Materialization and Query Rewriting for Existential Rules  + (Mixing Materialization and Query Rewriting for Existential Rules)
• MoDDo - a tailored documentation system for model-driven software development  + (MoDDo - a tailored documentation system for model-driven software development)
• Quotation in Formal Logics and the Web  + (Modal Logic)
• Modal Logic and the two-variable fragment  + (Modal Logic and the two-variable fragment)
• Seminar Logic-Based Knowledge Representation  + (Modal Logic – Proof Theory)
• Modal Logics and the two-variable fragment  + (Modal Logics and the two-variable fragment)
• Modal Logics of Topological Relations  + (Modal Logics of Topological Relations)
• Modal Logics of Topological Relations  + (Modal Logics of Topological Relations)
• Modal Logics of Topological Relations  + (Modal Logics of Topological Relations)
• Modal Logics with Composition on Finite Forests: Expressivity and Complexity  + (Modal Logics with Composition on Finite Forests: Expressivity and Complexity)
• Seminar Logic-Based Knowledge Representation  + (Modal Logics – Semantics)
• Modal Schema Graphs for Graph Databases  + (Modal Schema Graphs for Graph Databases)
• Model Checking Action- and State-Labelled Markov Chains  + (Model Checking Action- and State-Labelled Markov Chains)
• Model Checking Continuous-Time Markov Chains by Transient Analysis  + (Model Checking Continuous-Time Markov Chains by Transient Analysis)
• Model Checking Markov Chains as Distribution Transformers  + (Model Checking Markov Chains as Distribution Transformers)
• Model Checking Markov Chains with Actions and State Labels  + (Model Checking Markov Chains with Actions and State Labels)
• Model Checking Performability Properties  + (Model Checking Performability Properties)
• Model Checking Probabilistic Systems  + (Model Checking Probabilistic Systems)

• Model Checking Probabilistic Systems Against Pushdown Specifications  + (Model Checking Probabilistic Systems Against Pushdown Specifications)

• Model Checking for Performability  + (Model Checking for Performability)
• Model Checking for a Probabilistic Branching Time Logic with Fairness  + (Model Checking for a Probabilistic Branching Time Logic with Fairness)
• Model Checking with Formula-Dependent Abstract Models  + (Model Checking with Formula-Dependent Abstract Models)
• Model Exploration by Confidence with Completely Specified Counterexamples  + (Model Exploration by Confidence with Completely Specified Counterexamples)
• Model checking linear-time properties of probabilistic systems  + (Model checking linear-time properties of probabilistic systems)
• Model checking meets performance evaluation  + (Model checking meets performance evaluation)
• Finite and algorithmic model theory  + (Model checking on graphs with bounded degree and NP-completeness of FO1 and C1)
• Concurrency Theory  + (Model mu-Calculus)
• Model-Checking Algorithms for Continuous-Time Markov Chains  + (Model-Checking Algorithms for Continuous-Time Markov Chains)
• Model-based Most Specific Concepts in Description Logics with Value Restrictions  + (Model-based Most Specific Concepts in Description Logics with Value Restrictions)
• Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)  + (Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract))
• Modeling OWL with Rules: The ROWL Protege Plugin  + (Modeling OWL with Rules: The ROWL Protege Plugin)
• Modeling Role-Based Systems with Exogenous Coordination  + (Modeling Role-Based Systems with Exogenous Coordination)
• Modeling and Querying Video Data: A Hybrid Approach  + (Modeling and Querying Video Data: A Hybrid Approach)
• Modeling and Querying Video Databases  + (Modeling and Querying Video Databases)
• Modeling and Verification of Components and Connectors  + (Modeling and Verification of Components and Connectors)
• Modeling component connectors in Reo by constraint automata  + (Modeling component connectors in Reo by constraint automata)
• Modeling in OWL 2 without Restriction  + (Modeling in OWL 2 without Restriction)
• Modeling in OWL 2 without Restrictions  + (Modeling in OWL 2 without Restrictions)
• Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics  + (Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Modeling the Suppression Task under Weak Completion and Well-Founded Semantics)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Modeling the Suppression Task under Weak Completion and Well-Founded Semantics)
• Concurrency Theory  + (Modeling with Petri Nets)
• Modellgenerierung mit konnektionistischen Systemen  + (Modellgenerierung mit konnektionistischen Systemen)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis)