Matematicko-logické modelovanie : sympózium (Dom techniky Československej vedeckotechnickej spoločnosti, 1989)