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

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

Статистика просмотров:
Эта страница:792
Страницы публикаций:588
Полные тексты:240
доктор физико-математических наук (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
https://mathscinet.ams.org/mathscinet/MRAuthorID/78480

Публикации в базе данных Math-Net.Ru
2014
1. L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014),  257–282  mathnet  mathscinet  zmath  isi  scopus
1967
2. Ю. Ш. Гуревич, “К элементарной теории структурно-упорядоченных абелевых групп и $K$-линеалов”, Докл. АН СССР, 175:6 (1967),  1213–1215  mathnet  mathscinet  zmath
1966
3. Ю. Ш. Гуревич, “Проблема разрешения для узкого исчисления предикатов”, Докл. АН СССР, 168:3 (1966),  510–511  mathnet  mathscinet  zmath
4. Ю. Ш. Гуревич, “К проблеме разрешения для чистого узкого исчисления предикатов”, Докл. АН СССР, 166:5 (1966),  1032–1034  mathnet  mathscinet  zmath

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

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

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