Ваш поиск дал 3 результатов.

Сортировать
Снять подсветку Подсветить
Выбрать все Очистить все
Выберите заглавия, чтобы:
Результаты поиска
КнигаПеренормировка и асимптотические разложения фейнмановских амплитуд / В. А. Смирнов

  • Смирнов, Владимир Александрович

1990
Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 517 / С 50.
Онлайн заказ Добавить в подборку
КнигаЛогика и компьютер. [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств / [отв. ред. В. А. Смирнов]

  • Смирнов, Владимир Александрович [ред.]

1995
Сводное описание: Логика и компьютер
Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51/Л-69.
Онлайн заказ Добавить в подборку
КнигаЛогика и компьютер. [Вып.] 3 : Доказательство и его поиск : (Курс логики и компьютерный практикум) / [В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов ; Отв. ред. В. А. Смирнов]

  • Смирнов, Владимир Александрович
  • Маркин, Владимир Ильич
  • Новодворский, А. Е
  • Смирнов, А. В

1996
Сводное описание: Логика и компьютер
Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51/Л-69.
Онлайн заказ Добавить в подборку
Страницы