RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Владимиров Константин Игоревич


Статистика просмотров:
Эта страница:147
Дата рождения: 16.11.1982
Телефон: +7-903-842-27-55
E-mail:
Ключевые слова: Haskell.

Основные темы научной работы

Haskell, лямбда-исчисление, матлогика.

   
Основные публикации:
  1. Макаров Н. Н., Владимиров К. И., “Накопление возмущений линейными непрерывно-дискретными системами”, Известия Тульского государственного университета, 2:3 (2006), 45–48

http://www.mathnet.ru/rus/person53417
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019