Suche mittels Attribut

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

• 17. WLP - Workshop Logische Programmierung  + (17. WLP - Workshop Logische Programmierung)

• 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002  + (17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002)
• 18th International Conference on Rewriting Techniques and Applications (RTA 2007)  + (18th International Conference on Rewriting Techniques and Applications (RTA 2007))
• 2 Research Associates / PhD Students / Postdocs (Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)  + (2 Research Associates / PhD Students / Postdocs (Subject to personal qualification employees are remunerated according to salary group E 13 TV-L))
• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (2-ExpTime lower bounds for Propositional Dynamic Logics with intersection)
• 2004 Teaching Award by the Association of Friends and Sponsors of the TU Dresden  + (2004 Teaching Award by the Association of Friends and Sponsors of the TU Dresden)
• 22nd Workshop on (Constraint) Logic Programming 2008  + (22nd Workshop on (Constraint) Logic Programming 2008)
• 22nd Workshop on (Constraint) Logic Programming 2008  + (22nd Workshop on (Constraint) Logic Programming 2008)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (29th Workshop on (Constraint) Logic Programming (WLP 2015))
• 38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden  + (38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden)
• 38th German Conference on Artificial Intelligence  + (38th German Conference on Artificial Intelligence)
• 38th German Conference on Artificial Intelligence  + (38th German Conference on Artificial Intelligence)
• 38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden  + (38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden)
• 6th Workshop on Unification  + (6th Workshop on Unification)
• 8. Internationale Sommerschule über KI und Big Data  + (8. Internationale Sommerschule über KI und Big Data)
• 8th International Summer School on AI and Big Data  + (8th International Summer School on AI and Big Data)
• 8th South-East Asian Summer School on Computational Logic  + (8th South-East Asian Summer School on Computational Logic)
• 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  + (9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA))
• 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  + (9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA))
• 9th South-East Asian Summer School on Computational Logic  + (9th South-East Asian Summer School on Computational Logic)
• : Completed Theses  + ( : Completed Theses )
• : Completed Theses  + ( : Completed Theses )
• ???  + (???)
• A "Converse" of the Banach Contraction Mapping Theorem  + (A "Converse" of the Banach Contraction Mapping Theorem)
• A Behavioral Characterization of Computational Systems  + (A Behavioral Characterization of Computational Systems)
• A Benchmark Framework for a Computational Argumentation Competition  + (A Benchmark Framework for a Computational Argumentation Competition)
• A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  + (A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies)
• A Brief Introduction to Formal Concept Analysis  + (A Brief Introduction to Formal Concept Analysis)
• A Calculus of Order and Interaction  + (A Calculus of Order and Interaction)
• A Calculus of Order and Interaction  + (A Calculus of Order and Interaction)
• A Camera Sensor Model for Sensor Fusion  + (A Camera Sensor Model for Sensor Fusion)
• A Camera Sensor Model for Sensor Fusion  + (A Camera Sensor Model for Sensor Fusion)
• A Categorical Characterization of Consistency Results  + (A Categorical Characterization of Consistency Results)