Matematicko-logické modelovanie v teórii a praxi '85 : Seminár (Dom techniky, 1985)