Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška One is all you need: Second-order Unification without First-order Variables.
