Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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技术基础 +
