ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "různé"
různé
Osoba
Předměty
Osoby
Publikace
Studium
Sebastian Peter Müller Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
4 publikace
Publikace
publication
Různé přístupy k důkazovým systémům
2010 |
Matematicko-fyzikální fakulta
publication
Short Propositional Refutations for Dense Random 3CNF Formulas
2012 |
Matematicko-fyzikální fakulta
publication
Proof Systems that Take Advice
2011 |
Matematicko-fyzikální fakulta
publication
Důkazová složitost propoziční implicitní logiky
2010 |
Matematicko-fyzikální fakulta
Loading network view...