Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Maximum satisfiability problem in the real-valued MV-algebra.