Matematicko-logické modelovanie : sympózium (Dom techniky ČSVTS, 1989)