В1 М 34 Математическая логика и ее применения = Mathematical logics and its applications : материалы семинара . Вып. 1. Программные логики / под ред. Р. Плюшкявичюса ; Ин-т математики и кибернетики АН Лит. ССР. - Вильнюс : Ин-т математики и кибернетики Акад. наук Литовской ССР, 1981. - 154 с. - 1.00 р.
Держатели документа: ИСЭМ Имеются экземпляры в отделах: ХР Инв.31832 (свободен) |
В1 М34 Математическая логика и ее применения = Mathematical logics and its applications : материалы семинара. Вып. 2. Неклассические логики / Ин-т математики и кибернетики АН Лит.ССР ; ред. Р. Плюшкявичюс. - Вильнюс : Ин-т математики и кибернетики АН Лит.ССР, 1982. - 130 с. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Плюшкявичюс, Р. \ред.\; Ин-т математики и кибернетики АН Лит.ССР Имеются экземпляры в отделах: ХР Инв.32373 (свободен) |
В1 М34 Математическая логика и ее применения = Mathematical logics and its applications : материалы семинара. Вып. 3. Алгоритмические логики / Ин-т математики и кибернетики АН Лит. ССР ; ред. Р. Плюшкявичюс. - Вильнюс : Ин-т математики и кибернетики АН Лит.ССР, 1983. - 125 с. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Плюшкявичюс, Р. \ред.\; Ин-т математики и кибернетики АН Лит. ССР Имеются экземпляры в отделах: ХР Инв.33793 (свободен) |
В1 М34 Математическая логика и ее применения = Mathematical logics and its applications : материалы семинара. Вып. 4. Алгоритмические вопросы формальных систем / Ин-т математики и кибернетики АН Лит. ССР ; ред. Р. Плюшкявичюс. - Вильнюс : Ин-т математики и кибернетики АН Лит. ССР, 1985. - 134 с. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Плюшкявичюс, Р. \ред.\; Ин-т математики и кибернетики АН Лит. ССР Имеются экземпляры в отделах: ХР Инв.34937 (свободен) |
В1 М43 Международный конгресс математиков : тезисы докладов по приглашению. - Москва : [б. и.], 1966. - 197 с. - Б. ц.
Держатели документа: ИСЭМ Имеются экземпляры в отделах: ХР Инв.б/н (свободен) |
В1 М43 Международный конгресс математиков Труды : сборник научных трудов / Международный конгресс математиков ; Международный конгресс математиков, Москва, 1966. - Москва : Мир, 1968. - 726 с. - На рус., англ., франц. и нем. яз. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Международный конгресс математиков, Москва, 1966 Имеются экземпляры в отделах: ХР Инв.12898 (свободен) |
В1 М43 Международный конгресс математиков : докл. советских математиков / Национальный комитет советских математиков, Международный конгресс математиков в Ницце. 1970. - Москва : Наука. Гл. ред. физ. -мат. лит., 1972. - 351 с. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Национальный комитет советских математиков; Международный конгресс математиков в Ницце. 1970 Имеются экземпляры в отделах: ХР Инв.19022 (свободен) |
В1 М43 Международный математический конгресс : обзорные доклады: пер. с англ., франц., / Международный математический конгресс в Эдинбурге, 1958 г. ; ред. Е. Ф. Мищенко ; пер. Е. Ф. Мищенко. - Москва : Физматгиз , 1962. - 276 с. - (Современные проблемы математики). - Библиогр.: с. 275-276. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Мищенко, Е. Ф. \ред.\; Мищенко, Е. Ф. \пер.\; Международный математический конгресс в Эдинбурге, 1958 г. Имеются экземпляры в отделах: ХР Инв.5092 (свободен) |
В1 С34 Сибирская конференция по прикладной и индустриальной математике, посвящ. памяти Л. В. Канторовича : труды. Т.2 / Рос. акад. наук. Сиб. отд-ние., Институт математики СО РАН ; ред. М. М. Лаврентьев [и др.]. - Новосибирск : Изд-во Ин-та математики, 1997. - 229 с. - 1.00 р.
Держатели документа: ИСЭМ Доп.точки доступа: Лаврентьев, М. М. \ред.\; Мигиренко, Г. С. \ред.\; Бокуть, Л. А. \ред.\; Кутателадзе, С. С. \ред.\; Рос. акад. наук. Сиб. отд-ние.; Институт математики СО РАН Имеются экземпляры в отделах: ХР Инв.40908а (свободен) |