0409343 20240103182101.920060210235959.9 Von der Mathematik zum automatisierten Design FAU UniKurier2294 (1996)23-25 cav_un_auth*0212184 Achtziger W. DE cav_un_auth*0101131 Kočvara Michal UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0212008 Zowe J. DE 12C MTR http://hdl.handle.net/11104/0129440 UTIA-B 960092 1996 FAU UniKurier Roč. 22 č. 94 1996 23 25