RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Gurevich Yuri

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

Статистика просмотров:
Эта страница:195
Страницы публикаций:422
Полные тексты:182
доктор физико-математических наук (1968)
Сайт: http://research.microsoft.com/~gurevich

http://www.mathnet.ru/rus/person71951
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:gurevich.yuri|gurevich.yu-sh|gurevich.yu
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=78480

Публикации в базе данных Math-Net.Ru
1. Propositional primal logic with disjunction
L. Beklemishev, Yu. Gurevich
J. Logic Comput., 24:1 (2014),  257–282

2. Михаил Абрамович Тайцлин (1936–2013)
Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт
Сиб. электрон. матем. изв., 10 (2013),  54–65

Доклады и лекции в базе данных Math-Net.Ru
1. What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 10:00   
2. Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 10:00   
3. Тезис Черча–Тюринга: история и недавние продвижения
Ю. Ш. Гуревич
Заседания Московского математического общества
27 октября 2009 г.

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