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

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

• Диссертация
  • Выходные сведения
  • Полный текст диссертации в формате pdf
• Автореферат
  • Полный текст автореферата в формате pdf

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

Саватеев Ю. В. Алгоритмическая сложность фрагментов исчисления Ламбека [Текст] : дис. ... канд. физ.-мат. наук : 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