Suche mittels Attribut
Aus International Center for Computational Logic
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
- Publikationen von Simon Meusel + (Publikationen von Simon Meusel)
- Publikationen von Simon Razniewski + (Publikationen von Simon Razniewski)
- Publikationen von Stefan Borgwardt + (Publikationen von Stefan Borgwardt)
- Publikationen von Stefan Ellmauthaler + (Publikationen von Stefan Ellmauthaler)
- Publikationen von Steffen Hölldobler + (Publikationen von Steffen Hölldobler)
- Publikationen von Stephan Böhme + (Publikationen von Stephan Böhme)
- Publikationen von Taufiq Hidayat + (Publikationen von Taufiq Hidayat)
- Publikationen von Theofilos Mailis + (Publikationen von Theofilos Mailis)
- Publikationen von Thomas Feller + (Publikationen von Thomas Feller)
- Publikationen von Thomas Hinze + (Publikationen von Thomas Hinze)
- Publikationen von Tim Lyon + (Publikationen von Tim Lyon)
- Publikationen von Timm Spork + (Publikationen von Timm Spork)
- Publikationen von Tingting Zou + (Publikationen von Tingting Zou)
- Publikationen von Tobias Philipp + (Publikationen von Tobias Philipp)
- Publikationen von Tobias Pietzsch + (Publikationen von Tobias Pietzsch)
- Publikationen von Tomas Masopust + (Publikationen von Tomas Masopust)
- Publikationen von Tomáš Masopust + (Publikationen von Tomáš Masopust)
- Publikationen von Ulrike Sattler + (Publikationen von Ulrike Sattler)
- Publikationen von Ursula Hans + (Publikationen von Ursula Hans)
- Publikationen von Van Hau Nguyen + (Publikationen von Van Hau Nguyen)
- Publikationen von Veronika Thost + (Publikationen von Veronika Thost)
- Publikationen von Victoriia Korsak + (Publikationen von Victoriia Korsak)
- Publikationen von Walter Forkel + (Publikationen von Walter Forkel)
- Publikationen von Werner Stephan + (Publikationen von Werner Stephan)
- Publikationen von Xia Wu + (Publikationen von Xia Wu)
- Publikationen von Ye Yuxin + (Publikationen von Ye Yuxin)
- Publikationen von Yue Ma + (Publikationen von Yue Ma)
- Publikationen von Zoltan Esik + (Publikationen von Zoltan Esik)
- Publikationen von İsmail İlkan Ceylan + (Publikationen von İsmail İlkan Ceylan)
- Pushing Doors for Modeling Contexts with OWL DL –a Case Study + (Pushing Doors for Modeling Contexts with OWL DL –a Case Study)
- Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+)
- Pushing the Boundaries of Tractable Ontology Reasoning. + (Pushing the Boundaries of Tractable Ontology Reasoning.)
- Pushing the EL Envelope + (Pushing the EL Envelope)
- Pushing the EL Envelope + (Pushing the EL Envelope)
- Pushing the EL Envelope Further + (Pushing the EL Envelope Further)
- Pushing the SONIC border — SONIC 1.0 + (Pushing the SONIC border — SONIC 1.0)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios + (QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios)
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory + (QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory)
- Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding + (Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding)
- Qualifying Number Restrictions in Concept Languages + (Qualifying Number Restrictions in Concept Languages)
- Qualifying Number Restrictions in Concept Languages + (Qualifying Number Restrictions in Concept Languages)
- Quality Assessment of Design Cases within the DOM Environment + (Quality Assessment of Design Cases within the DOM Environment)
- QuantLA + (QuantLA)
- QuantLA + (QuantLA)
- Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking + (Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking)
- Quantitative Analysis of Communication Scenarios + (Quantitative Analysis of Communication Scenarios)
- Quantitative Analysis of Distributed Randomized Protocols + (Quantitative Analysis of Distributed Randomized Protocols)
- Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata + (Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata)
