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

• On Upper and Lower Bounds on the Length of Alternating Towers  + (978-3-662-44521-1)
• A Neutral Temporal Deontic STIT Logic  + (978-3-662-60292-8)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (978-3-86644-113-2)
• Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen  + (978-3-935025-85-0)
• Towards a General Argumentation System based on Answer-Set Programming  + (978-3-939897-17-0)
• Temporal Logics with Local Constraints  + (978-3-939897-90-3)
• On the Complexity of Universality for Partially Ordered NFAs  + (978-3-95977-016-3)
• Piecewise Testable Languages and Nondeterministic Automata  + (978-3-95977-016-3)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (978-3-95977-039-2)
• Preserving Constraints with the Stable Chase  + (978-3-95977-063-7)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (978-3-95977-132-0)
• Tuple-Generating Dependencies Capture Complex Values  + (978-3-95977-223-5)
• Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying  + (978-3-95977-270-9)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (978-3-95977-310-2)
• Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014  + (978-80-8152-159-1)
• Benchmark libraries for argumentation  + (978-94-007-5583-3)
• Hashtag Processing for Enhanced Clustering of Tweets  + (978-954-452-049-6)

• A Lexico-Logical Approach to Ontology Engineering  + (9781420060621)

• Foundations of Semantic Web Technologies  + (9781420090505)
• Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control  + (9781467360883)
• 语义Web技术基础  + (9787302289692)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (9798400702433)
• Initial Computability Algebraic Specifications and Partial Algebras  + (ISBN-13: 978-0198538066)
• Principles of Model Checking  + (ISBN-13: 978-0262026499)
• Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)  + (ISBN-13: 978-0387515335)
• Term Rewriting and All That  + (ISBN-13: 978-0521779203)
• The Description Logic Handbook: Theory, Implementation and Applications.  + (ISBN-13: 978-0521781763)
• Autonomous, Model-Based Diagnosis Agents  + (ISBN-13: 978-0792381426)
• Reasoning Robots. The Art and Science of Programming Robotic Agents  + (ISBN-13: 978-1402030680)
• Formal Concept Analysis  + (ISBN-13: 978-3540278917)
• Syntax-Directed Semantics  + (ISBN-13: 978-3540646075)
• Theoretische Informatik  + (ISBN-13: 978-3827370334)
• Logik und Logikprogrammierung. Third edition.  + (ISBN-13: 978-3935025591)
• Logik und Logikprogrammierung. Band 1: Grundlagen.  + (ISBN-13: 978-3935025843)