Matematicko-logické modelovanie v technickej praxi : Konf. Vysoké Tatry, Nový Smokovec, hotel Park. 26.-28.apríla 1972 (DT SVTS, 1972)