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
- Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux + (Christoph Wernhard<br /> '''[[Misc3029/en|Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux]] … Christoph Wernhard<br /> '''[[Misc3029/en|Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux]]''' <br />__NOTOC__Poster presentation at TABLEAUX 2017, Brasilia, September 2017<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3029|Details]]Misc3029|Details]])
