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
- Deep Inference and Symmetry in Classical Proofs + (Steffen Hölldobler)
- Linear Logic and Noncommutativity in the Calculus of Structures + (Steffen Hölldobler)
- Logisches Schliesen mit massiv parallelen Methoden + (Steffen Hölldobler)
- Modellgenerierung mit konnektionistischen Systemen + (Steffen Hölldobler)
- Neural-Symbolic Integration + (Steffen Hölldobler)
- Nondeterminism and Language Design in Deep Inference + (Steffen Hölldobler)
- Planen im Fluentkalkül mit binären Entscheidungsdiagrammen + (Steffen Hölldobler)
- Non-Standard Semantics for Graph Query Languages + (Wolf-Tilo Balke and Gerhard Weikum)
