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

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

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

Хоггер К.
   Введение в логическое программирование / Хоггер К. ; пер. с англ. Захарьящев М. В. ; ред. пер. Янов Ю. И. - Москва : Мир, 1988. - 348 с. : ил. - Библиогр.: с.328-338. - ISBN 5-03-000490-4.

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

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

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

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

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

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

   Вычислительные системы : сборник научных трудов / Академия наук СССР, СО, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 139 : Теория вычислимости и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1991. - 192 с. : ил. - Библиогр. в конце статей. - ISBN 5-7623-0102-8.