Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Interpolant generation algorithms based on quantifier elimination.
