Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Sequent Calculi for Semiring Semantics (in person talk).
