Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Weighted Automata and Quantitative Logics.
