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

Checklist + (Checklist)
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code + (Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code)
Chile – A Trip Report + (Chile – A Trip Report)
Chile – A Trip Report + (Chile – A Trip Report)
Christel Baier + (Christel Baier)
Christel Baier + (Christel Baier)
Christian Al-Rabbaa + (Christian Al-Rabbaa)
Christian Alrabbaa + (Christian Alrabbaa)
Christian Lewe + (Christian Lewe)
Christian Lewe + (Christian Lewe)
Christoph Weidenbach + (Christoph Weidenbach)
Christoph Weidenbach + (Christoph Weidenbach)
Christoph Wernhard + (Christoph Wernhard)
Christoph Wernhard + (Christoph Wernhard)
Chronology of ICCL + (Chronology of ICCL)
Chunping Li + (Chunping Li)
Chunping Li + (Chunping Li)
Circular Belief in Logic Programming Semantics + (Circular Belief in Logic Programming Semantics)
Circumscription and Projection as Primitives of Logic Programming + (Circumscription and Projection as Primitives of Logic Programming)
Classification of the finite polymorphism-homogeneous tournaments with loops + (Classification of the finite polymorphism-homogeneous tournaments with loops)
Classification of the finite polymorphism-homogeneous tournaments with loops + (Classification of the finite polymorphism-homogeneous tournaments with loops)
Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms)
Classifying Software Bug Reports Using Methods from Formal Concept Analysis + (Classifying Software Bug Reports Using Methods from Formal Concept Analysis)
Claudia Carapelle + (Claudia Carapelle)
Claudia Carapelle + (Claudia Carapelle)

Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (Clause Simplifications in Search-Space Decomposition-Based SAT Solvers)

Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies + (Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies)
Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies + (Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies)
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
Codifying Logical Fragments in ASP - A General Knowledge Base Approach + (Codifying Logical Fragments in ASP - A General Knowledge Base Approach)
Codifying Logical Fragments in ASP - A General Knowledge Base Approach + (Codifying Logical Fragments in ASP - A General Knowledge Base Approach)
Cognitive Argumentation for Human Syllogistic Reasoning + (Cognitive Argumentation for Human Syllogistic Reasoning)
Cognitive Science, Computational Logic and Connectionism + (Cognitive Science, Computational Logic and Connectionism)
Column-Oriented Datalog Materialization for Large Knowledge Graphs + (Column-Oriented Datalog Materialization for Large Knowledge Graphs)
Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning + (Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning)
Combination Techniques and Decision Problems for Disunification + (Combination Techniques and Decision Problems for Disunification)
Combination Techniques and Decision Problems for Disunification + (Combination Techniques and Decision Problems for Disunification)
Combination Techniques and Decision Problems for Disunification + (Combination Techniques and Decision Problems for Disunification)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Compatible Reduction Orderings that are Total on Ground Terms + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
Combination of Constraint Solvers for Free and Quasi-Free Structures + (Combination of Constraint Solvers for Free and Quasi-Free Structures)
Combination of Constraint Solving Techniques: An Algebraic Point of View + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
Combination of Constraint Solving Techniques: An Algebraic Point of View + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
Combining A1 and AC1 Unification + (Combining A1 and AC1 Unification)
Combining A1 and AC1 Unification + (Combining A1 and AC1 Unification)
Combining A1- and AC1-Unification Sharing Unit + (Combining A1- and AC1-Unification Sharing Unit)
Combining Belief Revision and Abstract Dialectical Frameworks + (Combining Belief Revision and Abstract Dialectical Frameworks)
Combining Belief Revision and Abstract Dialectical Frameworks + (Combining Belief Revision and Abstract Dialectical Frameworks)