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

Automata-based Pinpointing for DLs + (Automata-based Pinpointing for DLs)
Automata-based Reasoning in Fuzzy Description Logics + (Automata-based Reasoning in Fuzzy Description Logics)
Automated Deduction - A Basis for Applications + (Automated Deduction - A Basis for Applications)
Automated Performance and Dependability Evaluation Using Model Checking + (Automated Performance and Dependability Evaluation Using Model Checking)
Automated Reasoning Support for Process Models using Action Languages + (Automated Reasoning Support for Process Models using Action Languages)
Automated Reasoning Support for Process Models using Action Languages + (Automated Reasoning Support for Process Models using Action Languages)
Automated Reasoning Support for Standpoint-OWL 2 + (Automated Reasoning Support for Standpoint-OWL 2)
Automated Reencoding of Boolean Formulas + (Automated Reencoding of Boolean Formulas)
Automatentheorie + (Automatentheorie)
Automatentheorie: Abgeschlossene Arbeiten + (Automatentheorie: Abgeschlossene Arbeiten)
Automatic Extraction of Compositional Matrix-Space Models of Language + (Automatic Extraction of Compositional Matrix-Space Models of Language)
Automatic Extraction of Compositional Matrix-Space Models of Language + (Automatic Extraction of Compositional Matrix-Space Models of Language)
Automatic Verification of Liveness Properties of Randomized Systems + (Automatic Verification of Liveness Properties of Randomized Systems)
Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation + (Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation)
Automatic flow classification using machine learning + (Automatic flow classification using machine learning)
Automatic translation of clinical trial eligibility criteria into formal queries + (Automatic translation of clinical trial eligibility criteria into formal queries)
Automatic translation of clinical trial eligibility criteria into formal queries + (Automatic translation of clinical trial eligibility criteria into formal queries)
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics + (Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics)
Automating Reasoning with Standpoint Logic via Nested Sequents + (Automating Reasoning with Standpoint Logic via Nested Sequents)
Autonomous, Model-Based Diagnosis Agents + (Autonomous, Model-Based Diagnosis Agents)
Award for German University Coordinators in Erasmus Mundus 2004-2008 + (Award for German University Coordinators in Erasmus Mundus 2004-2008)
Awards + (Awards)
Awards in 2004 + (Awards in 2004)
Awards in 2004 + (Awards in 2004)
Awards in 2005 + (Awards in 2005)
Awards in 2005 + (Awards in 2005)

Awards in 2006 + (Awards in 2006)
Awards in 2006 + (Awards in 2006)

Awards in 2007 + (Awards in 2007)
Awards in 2007 + (Awards in 2007)
Awards in 2008 + (Awards in 2008)
Awards in 2008 + (Awards in 2008)
Awards in 2009 + (Awards in 2009)
Awards in 2009 + (Awards in 2009)
Awards in 2010 + (Awards in 2010)
Awards in 2010 + (Awards in 2010)
Awards in 2011 + (Awards in 2011)
Awards in 2011 + (Awards in 2011)
Awards in 2012 + (Awards in 2012)
Awards in 2012 + (Awards in 2012)
Awards in 2013 + (Awards in 2013)
Awards in 2013 + (Awards in 2013)
Awards in 2014 + (Awards in 2014)
Awards in 2014 + (Awards in 2014)
Axel Großmann + (Axel Großmann)
Axel Großmann + (Axel Großmann)
Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition + (Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition)
Axiom Pinpointing in General Tableaux + (Axiom Pinpointing in General Tableaux)
Axiom Pinpointing in General Tableaux + (Axiom Pinpointing in General Tableaux)
Axiom Pinpointing in General Tableaux + (Axiom Pinpointing in General Tableaux)
Axiom Pinpointing is Hard + (Axiom Pinpointing is Hard)
Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data + (Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data)