Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Bjorner Nikolaj
В базах данных Math-Net.Ru
Лекций и докладов:
2
Статистика просмотров:
Эта страница:
122
https://www.mathnet.ru/rus/person72197
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
Nikolaj Bjorner
Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г.
12:00
2.
Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
Nikolaj Bjorner
Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г.
12:00
Организации
Microsoft Research
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024