Расширенный поиск

Галанин М. П., Савенков Е. Б.
   Методы численного анализа математических моделей / Галанин М. П., Савенков Е. Б. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2010. - 590 с. : ил. - (Математическое моделирование в технике и в технологии). - Библиогр.: с. 561-575. - ISBN 978-5-7038-3252-3.

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр. в конце брош.

Яхъяева Г. Э.
   Нечеткие множества и нейронные сети : учеб. пособие / Яхъяева Г. Э. - 2-е изд., испр. - М. : Интернет- Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2011. - 315 с. : ил. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 978-5-94774-818-5.

Яхъяева Г. Э.
   Нечеткие множества и нейронные сети : учеб. пособие / Яхъяева Г. Э. - 2-е изд., испр. - М. : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2012. - 315 с. : ил. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 978-5-94774-818-5.

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.: с. 224-226. - ISBN 978-5-7782-1838-3.

Блехман И. И., Мышкис А. Д., Пановко Я. Г.
   Механика и прикладная математика. Логика и особенности приложений математики / Блехман И. И., Мышкис А. Д., Пановко Я. Г. - М. : Наука, 1983. - 327 с. - Библиогр.: с. 306-322.

   Математическая логика в программировании : сборник статей / ред. пер. с англ. Захарьящев М. В., Янов Ю. И. - М. : Мир, 1991. - 407 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце статей. - ISBN 5-03-001635-X.

Ярославский технологический институт
   Учёные записки. - Ярославль, 1961.
   Т. 7 : Математика, механика, теплотехника, электротехника. - 1961. - 335 с. : ил. - Библиогр. в конце ст.

Саратовское высшее военно-химическое командное училище
   Научно-техническая конференция. (Техническая механика, математика, химия), вторая : труды. - Саратов, 1971. - 138 с. : рис., табл. - Библиогр. в конце ст.

Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.