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