Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Representing dynamics in logic: from models to proof.
