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

Mining of EL-GCIs + (Mining of EL-GCIs)
MinitSAT + (MinitSAT)
Mitarbeiter der Wissensverarbeitung entwickeln Weltspitze-Werkzeuge für Generische Problemlöser + (Mitarbeiter der Wissensverarbeitung entwickeln Weltspitze-Werkzeuge für Generische Problemlöser)
Mitch Harris + (Mitch Harris)
Mitch Harris + (Mitch Harris)
Mixing Description Logics in Privacy-Preserving Ontology Publishing + (Mixing Description Logics in Privacy-Preserving Ontology Publishing)
Mixing Description Logics in Privacy-Preserving Ontology Publishing + (Mixing Description Logics in Privacy-Preserving Ontology Publishing)
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)
Modal Logic and the two-variable fragment + (Modal Logic and the two-variable fragment)
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)
Modal Schema Graphs for Graph Databases + (Modal Schema Graphs for Graph Databases)
Modal Separation Logic: an ongoing quest for elementary complexity + (Modal Separation Logic: an ongoing quest for elementary complexity)
Modal Separation Logic: an ongoing quest for elementary complexity + (Modal Separation Logic: an ongoing quest for elementary complexity)
Modal and Temporal Logics + (Modal and Temporal Logics)
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)
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 Computational Properties of Description Logics in ASP + (Modeling Computational Properties of Description Logics in ASP)
Modeling Computational Properties of Description Logics in ASP + (Modeling Computational Properties of Description Logics in ASP)
Modeling Concept Learning Problems with Second-Order Description Logics + (Modeling Concept Learning Problems with Second-Order Description Logics)
Modeling Concept Learning Problems with Second-Order Description Logics + (Modeling Concept Learning Problems with Second-Order Description Logics)
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)
Modellgenerierung mit konnektionistischen Systemen + (Modellgenerierung mit konnektionistischen Systemen)