. Формализация геофизики с целью повышения эффективности разработки методов.доклад на конференции