Полное описание
Лобанов, В. И.
ГРНТИ УДК 27.03.19 510(0.062) 03.91
Рубрики: Математическая логика -- Научно-популярные издания
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/11339)
Шифр в сводном ЭК: 371486746c474aeb6afb820acf6bf1a2
Экология / В. Н. Большаков, В. В. Качак, В. Г. Коберниченко [и др.] ; Ред. Г. В. Тягунов, 2005. - 503 с. - Текст : непосредственный. Техническая термодинамика / В. И. Лобанов, Г. П. Ясников, Я. М. Гордон, А. С. Телегин, 1992. - 237 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лобанов В.И. Процессное планирование проектной деятельности предприятий информатизации / В. И. Лобанов, 2018. - 17 с. - Текст : непосредственный. Бузоверов С.Ю. Технология и оборудование элеваторной промышленности : учеб. пособие / С. Ю. Бузоверов, В. И. Лобанов, 2013. - 85 с. - Текст : непосредственный. Ладыгичев, М. Г. Сырье для черной металлургии : Справочник в 2-х т. Т. 1 : Производство окускованного сырья для черной металлургии (сырье, технологии, оборудование, метрология), 2001. - 895 с. - Текст : непосредственный. Методы планирования и обработки результатов инженерного эксперимента : Учеб. пособие для студентов вузов по направлению 550500 - Металлургия и 651300- Металлургия / Н.А.Спирин,В.В.Лавров,А.Р.Бондин,В.И.Лобанов, 2003. - 262 с. - Текст : непосредственный. Лобанов В.И. Русская логика для академиков и школьников / В.И. Лобанов, 2014. - 381 с. - Текст : непосредственный. Экология : Учеб.для втузов / В.Н.Большаков,И.Н.Липунов,В.И.Лобанов и др.;Под ред.Г.В.Тягунова,Ю.Г.Ярошенко, 2000. - 330 с. - Текст : непосредственный. Лобанов В.И. Букварь разработчика цифровых устройств / В. И. Лобанов, 2017. - 230 с. - Текст : непосредственный. Теплотехника и теплоэнергетика металлургического производства : Учебник для вузов по спец."Металлургия цв.металлов" / С.Н.Гущин,А.С.Телегин,В.И.Лобанов,В.Н.Корюков, 1993. - 367 c. - Текст : непосредственный. Лобанов В.И. Конспект по Русской вероятностной логике / В. И. Лобанов, 2012. - 79 с. - Текст : непосредственный. Лобанов В.И. Русская логика - проще некуда! / В.И. Лобанов, 2014. - 48 с. - Текст : непосредственный. Лобанов В.И. Русская логика для "физиков" и "лириков" / В.И. Лобанов, 2005. - 426 с. - Текст : непосредственный. Лобанов В.И. Русская вероятностная логика. Азбука математической логики / В. И. Лобанов, 2009. - 317 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. 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 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный. Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный. Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный. Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный. Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
