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

Ковальски Р.
   Логика в решении проблем / Ковальски Р. ; пер. с англ. Осмоловский Л. Г., Вольфенгаген В. Э., Яцук В. Я. ; Предисл. и прим. Поспелов Д. А. - М. : Наука, 1990. - 277 с. : рис., схемы. - (Проблемы искусственного интеллекта). - Библиогр.: с. 263-271. - ISBN 5-02-014148-8.

Ничушкина Т. Н.
   Разработка программ рекурсивной структуры : учебное пособие / Ничушкина Т. Н. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2018. - 42 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-5004-6.

Чери С., Готлоб Г., Танка Л.
   Логическое программирование и базы данных / Чери С., Готлоб Г., Танка Л. ; ред. пер. с англ. Калиниченко Л. А. - М. : Мир, 1992. - 352 с. : ил. - Библиогр.: с. 341-350. - ISBN 5-03-002472-7.

Вишняков В. А., Буланже Д. Ю., Герман О. В.
   Аппаратно-программные средства процессоров логического вывода / Вишняков В. А., Буланже Д. Ю., Герман О. В. - М. : Радио и связь, 1991. - 264 с. - Библиогр.: с. 259-261. - ISBN 5-256-00606-1.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 120 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1987. - 161 с. - Библиогр. в конце статей.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 133 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1990. - 188 с. - Библиогр. в конце статей.

   Практикум по дисциплине Логическое и функциональное программирование / сост. Доткулова А. С. - Московский технический университет связи и информатики, 2016.

   Учебно-методическое пособие по дисциплине Логическое и функциональное программирование / сост. Яшина М. В., Барков В. В., Украинский С. В. - Московский технический университет связи и информатики, 2016.

Трофимов, В. В.  Алгоритмизация и программирование : учебник для вузов / В. В. Трофимов, Т. А. Павловская. — 4-е изд. — Москва : Издательство Юрайт, 2025. — 108 с. — (Высшее образование). — ISBN 978-5-534-20430-8.

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