Account
Edit tools
Intern
SucheSearch
English

Suche mittels Attribut

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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.

Suche mittels Attribut

Eine Liste aller Seiten, die das Attribut „Short description EN“ mit dem Wert „Quantitative Logics and Automata“ haben. Weil nur wenige Ergebnisse gefunden wurden, werden auch ähnliche Werte aufgelistet.

Hier sind 10 Ergebnisse, beginnend mit Nummer 1.

Zeige (vorherige 50 | nächste 50) (20 | 50 | 100 | 250 | 500)

    

Liste der Ergebnisse

    • QuantLA  + (Quantitative Logics and Automata)
    • Riss - including Pcasso and Priss  + (SAT Solver -- a programm that solves the satisfiability testing problem)
    • SECAI  + (School of Embedded Composite Artificial Intelligence)
    • M/EDGE  + (Secure Low Power Medical Edge Computing)
    • SEMECO-Q1  + (Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture)
    • SEMECO-Q2  + (Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity)
    • HAEC B02  + (Semantic Technology for Context Awareness (HAEC Teilprojekt B02))
    • SOA-VBQP  + (The Second-Order Approach and its Application to View-Based Query Processing)
    • Wikidata  + (Wikipedia's free, collaborative knowledge base)
    • Wolpertinger  + (Wolpertinger is a fixed-domain reasoner)
    Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Suche_mittels_Attribut/:Short-20description-20EN/Quantitative-20Logics-20and-20Automata“