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
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- 6th Workshop on Unification +
- Ausgezeichnete Informatikdisserationen 2000 +
- Ausgezeichnete Informatikdisserationen 2001 +
- Ausgezeichnete Informatikdissertationen 1999 +
- Ausgezeichnete Informatikdissertationen 2002 +
- Ausgezeichnete Informatikdissertationen 2004 +
- Ausgezeichnete Informatikdissertationen 2006 +
- Ausgezeichnete Informatikdissertationen 2007 +
- Ausgezeichnete Informatikdissertationen 2008 +
- Ausgezeichnete Informatikdissertationen 2009 +
- Ausgezeichnete Informatikdissertationen 2011 +
- Ausgezeichnete Informatikdissertationen 2011 +
- Ausgezeichnete Informatikdissertationen 2012 +
- Autonomous, Model-Based Diagnosis Agents +
- Begabtenförderung im MINT-Bereich +
- Formal Concept Analysis +
- Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) +
- Foundations of Semantic Web Technologies +
- Frontiers of Combining Systems +
- Initial Computability Algebraic Specifications and Partial Algebras +
- Intellectics and Computational Logic +
- Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel +
- KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) +
- Logics in Artificial Intelligence +
- Logik und Logikprogrammierung +
- Logik und Logikprogrammierung +
- Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen +
- Logik und Logikprogrammierung. Band 1: Grundlagen. +
- Logik und Logikprogrammierung. Third edition. +
- Multimedia Technology in Medical Training +
- Principles of Model Checking +
- Proceedings of the 19th International Conference on Automated Deduction CADE-19 +
- Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992 +
- Reasoning Robots. The Art and Science of Programming Robotic Agents +
- Rechnen mit DNA - Eine Einführung in Theorie und Praxis +
- Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification +
- Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm +
- Semantic Web - Grundlagen +
- Syntax-Directed Semantics +
- Term Rewriting and All That +
- Term Rewriting and All That +
- Termersetzungssysteme, Skript zur Vorlesung +
- The Description Logic Handbook: Theory, Implementation and Applications. +
- The Description Logic Handbook: Theory, Implementation, and Applications +
- Theoretische Informatik +
- 语义Web技术基础 +
