Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška First-Order Proof Schemata and Inductive Proof Analysis.
