Account
Edit tools
Intern
SucheSearch
English

Attribut:Hat Abfrage (Has query)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +, "Most of" leads to undecidability: Failure of adding frequencies to LTL  +, "Most of" leads to undecidability: Failure of adding frequencies to LTL  +, …
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
"Most of" leads to undecidability: Failure of adding frequencies to LTL  +, "Most of" leads to undecidability: Failure of adding frequencies to LTL  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  +, (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  +, (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  +, …
1
11 Research Associates / PhD Students (m/f/x) +
11 Research Associates / PhD Students (m/f/x)  +
11th EMCL Workshop +
11th EMCL Workshop  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +, 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +, 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +, 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  +, 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  +, 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  +, …
12. EMCL Workshop +
12. EMCL Workshop  +
12th EMCL Workshop +
12th EMCL Workshop  +, 12th EMCL Workshop  +
17. WLP - Workshop Logic Programming +
17. WLP - Workshop Logic Programming  +, 17. WLP - Workshop Logic Programming  +, 17. WLP - Workshop Logic Programming  +
17. WLP - Workshop Logische Programmierung +
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  +, 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)  +, 18th International Conference on Rewriting Techniques and Applications (RTA 2007)  +, 18th International Conference on Rewriting Techniques and Applications (RTA 2007)  +, …
2
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 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  +, 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  +, 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  +, …
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 +
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)  +

Es werden 10 ähnliche Objekte angezeigt. Weitere sind vorhanden.

G
O

Abgerufen von „https://iccl.inf.tu-dresden.de/web/Attribut:Has_query“