Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
CENTER FOR ADVANCING ELECTRONICS DRESDEN
+Grundlagen verständlicher Softwaresysteme
+Centre for Tactile Internet with Human-in-the-Loop
+Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln
+Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken
+A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
+European Master's Program in Computational Logic
+Generating and Answering Ontological Queries
+Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)
+Semantic Technology for Context Awareness (HAEC Project B02)
+High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)
+ICCL Summer School 2015: Reasoning
+Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
+KI-assistierte Zertifizierung medizinischer Software
+Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen
+Navigation im Lösungsraum von Answer Sets
+Ein schnelles, skalierbares und verlässliches Regelsystem
+Paralleles Lösen des Erfüllbarkeitproblems
+Quantitative Logics and Automata
+SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst
+