17-й Международный симпозиум по применению ЭВМ и математических методов в горных отраслях промышленности СССР, Москва, 20 - 25 октября 1980 г : [доклады]1980