Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgVyprodáno4,3Pohlídat