Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Relevance Properties in First-Order Relevant Logicss.