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
- A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A Rule-Based Language for Ordered Multidimensional Databases +
- A framework for connection calculi +
- A rule based data manipulation language for OLAP systems +
- A rule based data manipulation language for OLAP systems +
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions +
- Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens +
- Anschlus̈bericht über das Verbundvorhaben FABEL +
- Automatic Verification of Liveness Properties of Randomized Systems +
- Characterizing the semantics of terminological cycles in ALN using finite automata +
- Characterizing the semantics of terminological cycles with the help of finite automata +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Concurrent Production, Consumption and Occupation +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Aggregates and Concrete Domains +
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks +
- Domain equations for probabilistic processes +
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems +
- From Linear Proofs to Direct Logic with Exponentials +
- Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine +
- How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages +
- Indexing Medical Abstract Databases +
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models +
- Logisches Schliesen mit massiv parallelen Methoden +
- Medizinische Aus- und Weiterbildung: Mit dem Computer lernen +
- Metric Semantics from Partial Order Semantics +
- Multi-Flip Networks: Parallelizing GenSAT +
- Multimedia Technology in Medical Training +
- Multimedia Technology in Medical Training +
- On the Complexity of Boolean Unification +
- Queries in Fuzzy Deductive Databases Using Medical Information +
- Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs +
- Situations, Actions, and Causality in the Fluent Calculus +
- Symbolic Model Checking for Probabilistic Processes +
- Tabu Search Revisited +
- The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach +
- Trees and Semantics +
- Unification Theory – An Introduction +
- Unification of Concept Terms +
- Unification of Concept Terms in Description Logics +
- Unification of Concept Terms in Description Logics +
- Using Connectionist Term Representations for First-Order-Deduction- A Critical View +
- Veröffentlichungen in 1997 +
- Weak Bisimulation for Fully Probabilistic Processes +
- Weak Bisimulation for Fully Probabilistic Processes +
