RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Крупский Владимир Николаевич

В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3
Лекций и докладов: 1

Статистика просмотров:
Эта страница:506
Страницы публикаций:615
Полные тексты:111
Списки литературы:23
доцент
кандидат физико-математических наук
E-mail:
Сайт: http://lpcs.math.msu.su/~krupski

http://www.mathnet.ru/rus/person25647
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/189309

Публикации в базе данных Math-Net.Ru
1. О символических моделях для функциональной логики доказательств
В. Н. Крупский
Матем. сб., 202:5 (2011),  63–76
2. Об эффективности кодирования приближений действительных чисел
В. Н. Крупский
Матем. заметки, 47:2 (1990),  46–57
3. Допустимые топологические цепи Маркова с отождествлениями
В. Н. Крупский
Матем. заметки, 35:2 (1984),  263–272

Доклады и лекции в базе данных Math-Net.Ru
1. Primal implication as encryption
V. N. Krupski
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 14:30

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