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
- Formale Systeme + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36483923969)
- Fuzzy Description Logic + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36709302272)
- Unification in Modal and Description Logics + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36743610380)
- Proseminar Anwendungen der Logik in der Informatik + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36947263492)
- Proseminar "Perlen der theoretischen Informatik" + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37108219907)
- Seminar Theoretical Computer Science + (https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37126864902)
- Project Group Theoretical Computer Science + (https://lat.inf.tu-dresden.de/teaching/ws2017-2018/Projects/cl-project.html)
- Description Logic + (https://lat.inf.tu-dresden.de/teaching/ws2017-2018/DL/)
- Introduction to Non-monotonic Reasoning + (https://lat.inf.tu-dresden.de/teaching/ws2017-2018/NMR/)
- Seminar: Further Topics in Description Logics + (https://lat.inf.tu-dresden.de/teaching/ws2017-2018/Seminar/)
- Logic-Based Ontology Engineering + (https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2018/logic-based-ontology-engineering)
- Term Rewriting Systems + (https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2018/term-rewriting-systems)
- Project Group "Theoretical Computer Science" + (https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2018/project-group-theoretical-computer-science)
- Logic-Based Ontology Engineering + (see the [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/19751501825 OPAL page])