Приложение
для AndroidПолное описание
Алгебра и логика: теория и приложения : материалы временных коллективов / Сибирский федеральный ун-т (Красноярск). - Красноярск : СФУ, 2013. - 190 с. - Часть текста англ. - Библиогр. в конце ст. - 150 экз. - ISBN 978-5-7638-2877-1. - Текст : непосредственный.
В надзаг. также: Ин-т математики СО РАН, Ин-т вычислит. моделирования СО РАН
| ГРНТИ | УДК | |
| 27.17 | 512(063) | |
| 27.03.19 | 510(063) | |
| 03.91 |
Рубрики:
Алгебра -- Съезды и конференции
Математическая логика -- Съезды и конференции
Доп. точки доступа:
Сибирский федеральный ун-т (Красноярск)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-13/1632)
Шифр в сводном ЭК: c57b4208029b337913ab62569633d366
Алгебра и логика: теория и приложения : материалы временных коллективов / Сибирский федеральный ун-т (Красноярск), 2013. - 190 с. - Текст : непосредственный.Алгебра и логика: теория и приложения : тез. докл. Междунар. конф., посвящ. 70-летию В. М. Левчука, 24-29 июля 2016 г., Красноярск / Сиб. федер. ун-т [и др.], 2016. - 131 с. - Текст : непосредственный.
Структуры гетерогенных стружковых материалов цветных сплавов / В. С. Биронт, В. И. Аникина, Н. Н. Загиров [и др.], 2011. - 129 с. - Текст : непосредственный.Ермош, Лариса Георгиевна. Разработка технологий рыбных полуфабрикатов и готовой кулинарной продукции из них для школьного питания / Л. Г. Ермош, Л. Г. Ермош, Т. Н. Сафронова, О. М. Евтухова, Т. Л. Камоза, 2013. - 185 с. (Введено оглавление). - Текст : непосредственный.Современные проблемы радиоэлектроники : сборник научных трудов / Сибирский федеральный ун-т (Красноярск), 2007. - 678 с. - Текст : непосредственный.Нескоромных В.В. Методологические и правовые основы инженерного творчества : выставочные материалы / В. В. Нескоромных, В. П. Рожков, 2015. - 317 с. - Текст : непосредственный.Нескоромных В.В. Разрушение горных пород при бурении скважин : выставочные материалы / В. В. Нескоромных, 2015. - 336 с. - Текст : непосредственный.Нескоромных В.В. Бурение скважин : выставочные материалы / В. В. Нескоромных, 2015. - 352 с. - Текст : непосредственный.Бондаренко, Валерий Николаевич. Помехоустойчивость приема спектрально-эффективных шумоподобных сигналов / В. Н. Бондаренко, 2015. - 158 с. (Введено оглавление). - Текст : непосредственный.Современные технологии освоения минеральных ресурсов : сб. науч. тр. / Сиб. федер. ун-т. Вып. 12 / под общ. ред. В. Е. Кислякова, 2014. - 236 с. - Текст : непосредственный.Загиров, Николай Наильич. Технологические основы получения материалов и изделий из сыпучих стружковых отходов меди и ее сплавов методами обработки давлением / Н. Н. Загиров, Ю. Н. Логинов, 2015. - 169 с. (Введено оглавление). - Текст : непосредственный.Демченко, Игорь Иванович. Горные машины карьеров / И. И. Демченко, И. С. Плотников, 2015. - 249 с. (Введено оглавление). - Текст : непосредственный.Электроснабжение открытых горных работ : выставочные материалы / Б. С. Заварыкин, Р. С. Кузьмин, В. А. Меньшиков [и др.], 2013. - 219 с. - Текст : непосредственный.Экосистемы в городской среде: структура, состояние, устойчивость, управление : выставочные материалы / Сибирский федеральный ун-т (Красноярск), 2013. - 203 с. - Текст : непосредственный.Смолянинова, Ольга Георгиевна. Оценивание образовательных результатов в течение всей жизни: электронный портфолио : монография / О. Г. Смолянинова, 2016. - 360 с. (Введено оглавление). - Текст : непосредственный.Оценка стратегической конкурентоспособности инновационного потенциала Красноярского края в контексте мировых трендов инновационного технологического развития / Е. Б. Бухарова, И. С. Ферова, С. А. Самусенко [и др.], 2011. - 420 с. - Текст : непосредственный.Современные технологии освоения минеральных ресурсов : сб. науч. тр. / Сибирский федеральный ун-т. Вып. 11, 2013. - 342 с. - Текст : непосредственный.Алгебра и логика: теория и приложения : материалы временных коллективов / Сибирский федеральный ун-т (Красноярск), 2013. - 190 с. - Текст : непосредственный.Самусенко, Светлана Анатольевна. Управленческий учет в инновационной экономике / С. А. Самусенко, 2014. - 241 с. (Введено оглавление). - Текст : непосредственный.Смолянинова О.Г. Проблема оценивания образовательных достижений: технология e-портфолио : монография / О. Г. Смолянинова, 2015. - 144 с. - Текст : непосредственный.Геология и разведка месторождений полезных ископаемых : выставочные материалы / Т. П. Стримжа, П. Н. Самородский, Л. Н. Пузырева, Ю. Б. Дворецкая, 2013. - 181 с. - Текст : непосредственный.Зандер, Евгения Викторовна. Региональное управление и территориальное планирование : выставочные материалы / Е. В. Зандер, Е. В. Лобкова, Т. А. Смирнова, 2015. - 280 с. (Введено оглавление). - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Чебочко Н.Г. Деформации модулярных алгебр Ли : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Н. Г. Чебочко, 2001. - 11 с. - Текст : непосредственный.Глухов М.М. Алгебра : выставочные материалы / М. М. Глухов, В. П. Елизаров, А. А. Нечаев, 2015. - 606 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный.Нгуен Кхак-Вьет.Геометрия одномерных семейств алгебраических кривых : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / Нгуен Кхак-Вьет, 1998. - 18 с. - Текст : непосредственный.Бортаковский А.С. Линейная алгебра в примерах и задачах : выставочные материалы / А. С. Бортаковский, А. В. Пантелеев, 2015. - 591 с. - Текст : непосредственный.Федорчук В.В. Курс аналитической геометрии и линейной алгебры / В. В. Федорчук, 2001. - 328 с. - Текст : непосредственный.Васильев А.Ф. Проблемы распознавания конечных непростых групп и их классов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. Ф. Васильев, 2007. - 51 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Мищенко С.П. Задачи и алгоритмы алгебры : Учеб.пособие. Ч. 2, 2000. - 106 с. - Текст : непосредственный.Ильин В.А. Линейная алгебра / В. А. Ильин, Э. Г. Позняк, 2002. - 320 с. - Текст : непосредственный.Ларионов Е.А. Основы линейной алгебры и математического анализа / Е. А. Ларионов, 2002. - 114 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Лузгарев А.Ю. Надгруппы исключительных групп : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Ю. Лузгарев, 2008. - 12 с. - Текст : непосредственный.Певзнер И.М. Корневые элементы в исключительных группах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / И. М. Певзнер, 2008. - 13 с. - Текст : непосредственный.Снетков О.А. Аппроксимация полугрупп гомоморфизмами специального вида : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Снетков, 2008. - 14 с. - Текст : непосредственный.Кузнецов А.Г. Гомологическая проективная двойственность : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. Г. Кузнецов, 2008. - 20 с. - Текст : непосредственный.Росошек С.К. Алгебра и геометрия : учеб. пособие. Ч. 1, 2008. - 194 с. - Текст : непосредственный.
Показать все результатыСовременные проблемы дифференциальной геометрии и общей алгебры : материалы временных коллективов, 2008. - 150 с. - Текст : непосредственный.Алгебра и теория чисел: современные проблемы и приложения : материалы временных коллективов / МГУ им. М. В. Ломоносова, 2011. - 91 с. - Текст : непосредственный.Алгебра и логика: теория и приложения : материалы временных коллективов / Сибирский федеральный ун-т (Красноярск), 2013. - 190 с. - Текст : непосредственный.Логико-алгебраические методы, модели, прикладные применения, 2001. - 145 с. - Текст : непосредственный.Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Typed lambda calculi and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Logic, language, information and computation : 17th International workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.Computer science logic : 24th International workshop, CSL 2010, 19th Annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.Logic and the foundations of game and decision theory – loft 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008: revised selected papers / ed. G. Bonanno, 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽