Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Symbolic Constraints and Quantitative Extensions of Equality.
