Search by property

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

• Projection in a Description Logic of Context with Actions  + (Projection in a Description Logic of Context with Actions)
• Projection in a Description Logic of Context with Actions  + (Projection in a Description Logic of Context with Actions)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects and Theses in Computational Logic  + (Projects and Theses in Computational Logic)
• Projects and Theses in Knowledge-Based Systems  + (Projects and Theses in Knowledge-Based Systems)
• Projects and Theses in Knowledge-Based Systems  + (Projects and Theses in Knowledge-Based Systems)
• Projekte und Studienarbeiten Computational Logic  + (Projekte und Studienarbeiten Computational Logic)
• Projekte und Studienarbeiten Wissensbasierte Systeme  + (Projekte und Studienarbeiten Wissensbasierte Systeme)
• Projektkoordinator/in (m/w/d)  + (Projektkoordinator/in (m/w/d))
• Proof Theory  + (Proof Theory)
• Proof Theory and Decision Procedures for Deontic STIT Logics  + (Proof Theory and Decision Procedures for Deontic STIT Logics)
• Proof Theory and Sequent Systems  + (Proof Theory and Sequent Systems)
• Proof Theory and Sequent Systems  + (Proof Theory and Sequent Systems)
• Proof by Pointing and Selecting  + (Proof by Pointing and Selecting)
• Proof by Pointing and Selecting  + (Proof by Pointing and Selecting)
• Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL  + (Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL)
• Properties of a Logical System in the Calculus of Structures  + (Properties of a Logical System in the Calculus of Structures)
• Properties of a Logical System in the Calculus of Structures  + (Properties of a Logical System in the Calculus of Structures)
• Properties of a Logical System in the Calculus of Structures  + (Properties of a Logical System in the Calculus of Structures)
• Properties vs. Resources: Solving Simple Frame Problems  + (Properties vs. Resources: Solving Simple Frame Problems)

• Propositional Dynamic Logic with Recursive Programs  + (Propositional Dynamic Logic with Recursive Programs)

• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar “Theoretische Informatik”  + (Proseminar “Theoretische Informatik”)
• Proseminar „Binäre Entscheidungsgraphen“  + (Proseminar „Binäre Entscheidungsgraphen“)
• Proseminar „Binäre Entscheidungsgraphen“  + (Proseminar „Binäre Entscheidungsgraphen“)
• Proseminar „Binäre Entscheidungsgraphen“  + (Proseminar „Binäre Entscheidungsgraphen“)
• Proseminar „Theoretische Informatik“  + (Proseminar „Theoretische Informatik“)
• Proseminar „Theoretische Informatik“  + (Proseminar „Theoretische Informatik“)
• Provenance and Probabilities in Relational Databases  + (Provenance and Probabilities in Relational Databases)
• Provenance and Probabilities in Relational Databases  + (Provenance and Probabilities in Relational Databases)
• Providing Quality-of-Service Support to Legacy Applications Using Machine Learning  + (Providing Quality-of-Service Support to Legacy Applications Using Machine Learning)
• Präprozessortechniken für Pseudo-Boolean-Constraints  + (Präprozessortechniken für Pseudo-Boolean-Constraints)
• Präprozessortechniken für Pseudo-Boolean-Constraints  + (Präprozessortechniken für Pseudo-Boolean-Constraints)
• Public Transport  + (Public Transport)
• Publications by Years  + (Publications by Years)