9560 записей
Статья в журнале
Лобусов Е. С., Тыонг Хоанг Мань.
Генерирование случайных воздействий при исследовании устройств и систем управления / Лобусов Е. С., Тыонг Хоанг Мань. - DOI 10.18698/0236-3933-2016-3-102-113 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 3. -С. 102-113 .
Генерирование случайных воздействий при исследовании устройств и систем управления / Лобусов Е. С., Тыонг Хоанг Мань. - DOI 10.18698/0236-3933-2016-3-102-113 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 3. -
Ловас Л., Пламмер М.
Прикладные задачи теории графов. Теория паросочетаний в математике, физике, химии / Ловас Л., Пламмер М. ; пер. с англ. Гаврилов Г. П., Мартынюк В. В., Никитина М. А. ; ред. пер. Гаврилов Г. П. - Москва : Мир, 1998. - 653 с. : ил. - Библиогр.:с.593-636 . - ISBN 5-03-002517-0 .
Прикладные задачи теории графов. Теория паросочетаний в математике, физике, химии / Ловас Л., Пламмер М. ; пер. с англ. Гаврилов Г. П., Мартынюк В. В., Никитина М. А. ; ред. пер. Гаврилов Г. П. - Москва : Мир, 1998. - 653 с. : ил. - Библиогр.:
Ловитт У. В.
Линейные интегральные уравнения : пер. с англ. / Ловитт У. В. ; пер. Райков Д. А. - 3-е изд., стер. - Москва : Эдиториал УРСС, 2004. - 234 с. -ISBN 5-354-00886-7 .
Линейные интегральные уравнения : пер. с англ. / Ловитт У. В. ; пер. Райков Д. А. - 3-е изд., стер. - Москва : Эдиториал УРСС, 2004. - 234 с. -
Логика и комбинаторика / сост. Егоров А. А. - М. : Бюро Квантум, 2002. - 126 с. - (Приложение к журналу "Квант" ; № 5/2002). - ISBN 5-85843-040-6 .
Логика и компьютер / РАН. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр.в конце кн. - ISBN 5-02-006896-9 .
[Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр.
Логика и компьютер / РАН. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. -ISBN 5-02-013603-4 .
[Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. -
Логика и компьютер / РАН. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.:с.180-213 . - ISBN 5-02-013628-X .
[Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; РАН ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. - Москва : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с.231-237 . - ISBN 5-02-007156-0 .
Логические и логико-математические исчисления : сборник работ / Академия наук СССР. - Ленинград : Наука, Ленинградское отд-ние, 1968. - (Труды/Математический институт им. В. А. Стеклова).
Сб. 2. - 1972. - 165 с. - (... ; т. 121). - Библиогр. в конце ст.
Сб. 2. - 1972. - 165 с. - (
