Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof complexity 17 Treffer
- 03f20 12 Treffer
- 68q17 12 Treffer
- resolution 12 Treffer
- combinatorics 9 Treffer
-
45 weitere Werte:
- computational mathematics 9 Treffer
- computational theory and mathematics 9 Treffer
- general mathematics 9 Treffer
- mathematics 9 Treffer
- polynomial calculus 9 Treffer
- propositional proof complexity 9 Treffer
- theoretical computer science 9 Treffer
- discrete mathematics 8 Treffer
- lower bounds 7 Treffer
- algorithms 6 Treffer
- clique 6 Treffer
- binary logarithm 5 Treffer
- degree 5 Treffer
- groebner basis 5 Treffer
- lower bound 5 Treffer
- rank 5 Treffer
- satisfiability 5 Treffer
- semidefinite programming 5 Treffer
- size 5 Treffer
- sos 5 Treffer
- 90c22 4 Treffer
- 13p15 3 Treffer
- computer science::computational complexity 3 Treffer
- exponential function 3 Treffer
- polynomial 3 Treffer
- positivstellensatz 3 Treffer
- 68t15 2 Treffer
- algorithm 2 Treffer
- arbitrary constants 2 Treffer
- automated theorem proving 2 Treffer
- communication complexity 2 Treffer
- computational complexity 2 Treffer
- computational complexity theory 2 Treffer
- computer science::logic in computer science 2 Treffer
- conjunctive normal form 2 Treffer
- exponential functions 2 Treffer
- grobner basis 2 Treffer
- heuristic algorithms 2 Treffer
- hypergraphs 2 Treffer
- learnability 2 Treffer
- lemma (mathematics) 2 Treffer
- linear systems 2 Treffer
- log-log plot 2 Treffer
- mathematical logic 2 Treffer
- mathematical models 2 Treffer
Verlag
Sprache
67 Treffer
-
In: computational complexity, Jg. 19 (2010-12-01), Heft 4, S. 501-519Online academicJournalZugriff:
-
In: computational complexity, Jg. 19 (2010-08-11), S. 501-519Online unknownZugriff:
-
In: computational complexity, Jg. 20 (2011-12-01), Heft 4, S. 597-614Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Computational Complexity, Jg. 30 (2021-03-01), Heft 1, S. 1-71Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Computational Complexity, Jg. 27 (2018-09-01), Heft 3, S. 511-559Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Computational Complexity, Jg. 26 (2017-12-01), Heft 4, S. 911-948Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Computational Complexity, Jg. 18 (2009-06-01), Heft 2, S. 309-336Online academicJournalZugriff:
-
In: Computational Complexity, Jg. 14 (2006-03-01), Heft 4, S. 362-375Online academicJournalZugriff:
-
In: Computational Complexity, Jg. 8 (1999-12-15), Heft 4, S. 357-370Online academicJournalZugriff:
-
In: Computational Complexity, Jg. 14 (2006-03-01), Heft 4, S. 362-375Online serialPeriodicalZugriff: