Text this: Использование данных радарных космических снимков и геоинформационных технологий для изучения оседания земной поверхности в районе угледобычи