Ю. В. Саватеев
Алгоритмическая сложность фрагментов исчисления Ламбека
Диссертация на соискание учёной степени кандидата физико-математических наук
Научный руководитель: М. Р. Пентус

Материалы на этом сайте


Выходные сведения диссертации

Саватеев Ю. В. Алгоритмическая сложность фрагментов исчисления Ламбека [Текст] : дис. ... канд. физ.-мат. наук : 01.01.06 : защищена 11.12.2009 / Саватеев Юрий Вячеславович. М., 2009. 75 с. Библогр.: с. 73—75.

Адрес: http://lpcs.math.msu.su/~pentus/Savateev2009.htm
Изменения внесены 11.06.2010.
Мати Рейнович Пентус
Телефон/факс: + 7 - 495 - 939 30 31