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
- Computing with Logic as Operator Elimination: The ToyElim System + (Christoph Wernhard<br/> '''[[WVPub128|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]] … Christoph Wernhard<br/> '''[[WVPub128|<b>Computing with Logic as Operator Elimination: The ToyElim System</b>]]''' <br/>__NOTOC__<i>Proceedings of the 25th Workshop on Logic Programming, WLP 2011</i>, 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub128|Details]][WVPub128|Details]])
