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

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 12:00, г. Москва, МИАН
 


Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines

Nikolaj Bjorner

Microsoft Research, Redmond

Количество просмотров:
Эта страница:148
Видеофайлы:44

Nikolaj Bjorner
Фотогалерея




Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017