75 записей
Мендельсон Э.
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.:с. 296-309 .
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.:
Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.:с. 275-278 . - ISBN 5-88688-037-2 .
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.:
Набебин А. А.
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с. 435-440 . - ISBN 5-7046-0162-6 .
Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:
Наголкин А. Н.
Алгебра логики в золотом сечении: Еще один шаг в область нечетких логик и компьютерного интеллекта / Наголкин А. Н. - М. : МАКС Пресс, 2006. - 180 с. - Библиогр.в конце книги . - ISBN 5-317-01731-9 .
Алгебра логики в золотом сечении: Еще один шаг в область нечетких логик и компьютерного интеллекта / Наголкин А. Н. - М. : МАКС Пресс, 2006. - 180 с. - Библиогр.
Непейвода Н. Н.
Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.:с. 479-481 . - ISBN 5-7615-0490-1 .
Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.:
Нечеткие гибридные системы. Теория и практика / Батыршин И. З., Недосекин А. О., Стецко А. А. [и др.] ; ред. Ярушкина Н. Г. - М. : Физматлит, 2007. - 207 с. - (Информационные и компьютерные технологии). - Библиогр.: с. 181-207 . - ISBN 978-5-9221-0786-0 .
Новак В., Перфильева И., Мочкорж И.
Математические принципы нечеткой логики : пер. с англ. / Новак В., Перфильева И., Мочкорж И. ; ред. пер. Аверкин А. Н. - М. : Физматлит, 2006. - 347 с. - Библиогр.:с. 335-343 . - ISBN 5-9221-0399-7 .
Математические принципы нечеткой логики : пер. с англ. / Новак В., Перфильева И., Мочкорж И. ; ред. пер. Аверкин А. Н. - М. : Физматлит, 2006. - 347 с. - Библиогр.:
Петров Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:с. 160-162 . - ISBN 5-354-00975-8 .
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю. А. ; отв. ред. Яновская С. А. - 2-е изд., испр. - М. : Эдиториал УРСС, 2004. - 163 с. - Библиогр.:
Поттосин Ю. В., Шестаков Е. А.
Табличные методы декомпозиции систем полностью определенных булевых функций / Поттосин Ю. В., Шестаков Е. А. ; Нац. Акад. Наук Беларуси. Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 326 с. -ISBN 985-08-0732-6 .
Табличные методы декомпозиции систем полностью определенных булевых функций / Поттосин Ю. В., Шестаков Е. А. ; Нац. Акад. Наук Беларуси. Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 326 с. -
Проблемы конструктивного направления в математике : сборник работ / АН СССР. - Л. : Наука, 1973.
[Сб.] 6 / ред. Шанин Н. А. - 1973. - 266 с. - (Труды / Математический ин-т им. В. А. Стеклова ; т. 129). - Библиогр.в конце статей .
[Сб.] 6 / ред. Шанин Н. А. - 1973. - 266 с. - (Труды / Математический ин-т им. В. А. Стеклова ; т. 129). - Библиогр.