Видеотека
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Видеотека
Архив
Популярное видео
Поиск
RSS
Новые поступления
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г.
12:45
, г. Москва, МИАН
The lattice of relational algebras definable in integers with successor
Aleksei Semenov
a
,
Sergei Soprunov
b
a
Moscow Institute of Open Education
b
Dorodnitsyn Computing Centre of the Russian Academy of Sciences
Видеозаписи:
Flash Video
192.1 Mb
Flash Video
1,169.3 Mb
MP4
729.3 Mb
Фотогалерея
Язык доклада:
английский
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024
Обратная связь: Пользовательское соглашение
Регистрация посетителей портала Логотипы