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

Катрахова А. А., Купцов В. С., Васильев Е. М.
   Спецглавы математики и их приложения к задачам электромеханики и теории управления : курс лекций / Катрахова А. А., Купцов В. С., Васильев Е. М. - Воронежский государственный технический университет, ЭБС АСВ, 2019. - ISBN 978-5-7731-0802-3.

Батура Т. В.
   Математическая лингвистика и автоматическая обработка текстов на естественном языке : учебное пособие / Батура Т. В. - Новосибирский государственный университет, 2016. - ISBN 978-5-4437-0548-4.

Грес П. В.
   Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : учебное пособие / Грес П. В. - Логос, 2015. - ISBN 978-5-98704-751-4.

   Математическая логика и теория алгоритмов : методические указания к самостоятельной работе / сост. Седых И. А. - Липецкий государственный технический университет, ЭБС АСВ, 2014.

Грес П. В.
   Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : учебное пособие / Грес П. В. - Логос, 2013. - ISBN 978-5-98704-751-4.

Метакидес Г., Нероуд А.
   Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.: с. 275-278. - ISBN 5-88688-037-2.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252.
   Т. 30, № 6. - 1991. - С.631-772 . - Библиогр. в конце статей.

Грэй П.
   Логика, алгебра и базы данных / Грэй П. ; ред. Слисенко А. О. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В. - М. : Машиностроение, 1989. - 359 с. - Библиогр.: с. 348-359.

Набебин А. А.
   Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.: с. 435-440. - ISBN 5-7046-0162-6.

   Алгебра и логика : сборник научных трудов / АН СССР, Сибирское отделение, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252.
   Т. 29, № 2. - 1990. - С.136-261 . - Библиогр. в конце статей.