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

• Temporally Attributed Description Logics  + (Temporally Attributed Description Logics)
• Tempus Fugit - Towards an Ontology Update Language  + (Tempus Fugit - Towards an Ontology Update Language)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Termersetzungssysteme, Skript zur Vorlesung  + (Termersetzungssysteme, Skript zur Vorlesung)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (Terminological Knowledge Representation: A Proposal for a Terminological Logic)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL)
• Terminologische Logiken  + (Terminologische Logiken)

• Terminology Harmonization in Industry Classification Standards  + (Terminology Harmonization in Industry Classification Standards)

• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts)
• Terminology-based patterns for natural language definitions in ontologies  + (Terminology-based patterns for natural language definitions in ontologies)
• Science of Computational Logic  + (Test Exam)
• Logic  + (Test Exam I)
• Science of Computational Logic  + (Test Exam II Inspection)
• Logic  + (Test Exam Inspection)
• The 10, 000 Facets of MDP Model Checking  + (The 10, 000 Facets of MDP Model Checking)
• The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)  + (The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report))
• The ASPARTIX System Suite  + (The ASPARTIX System Suite)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains)
• Models of Concurrent Systems  + (The Asynchronous Pi-Calculus)
• Concurrency Theory  + (The Asynchronous pi-Calculus)
• Complexity Theory  + (The Baker-Gill-Solovay Theorem)
• The Basics of Display Calculi  + (The Basics of Display Calculi)
• The Bayesian Description Logic BEL  + (The Bayesian Description Logic BEL)
• The Bayesian Ontology Language BEL  + (The Bayesian Ontology Language BEL)
• The Bayesian Ontology reasoner is BORN!  + (The Bayesian Ontology reasoner is BORN!)
• The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version  + (The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version)
• The Boolean Solution Problem from the Perspective of Predicate Logic  + (The Boolean Solution Problem from the Perspective of Predicate Logic)
• The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus  + (The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus)
• Models of Concurrent Systems  + (The Calculus of Communicating Systems)
• Concurrency Theory  + (The Calculus of Communicating Systems)
• Database Theory  + (The Chase)
• Database Theory  + (The Chase)
• Database Theory  + (The Chase)