Matematicko-logické modelovanie v teórii a praxi '89 Sympózium (Dom techn. ČSVTS, 1989)