Искусство программирования на языке Пролог: пер. с англ.

Искусство программирования на языке Пролог: пер. с англ.

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Стерлинг Л. Леон
Այլ հեղինակներ:	Шапиро Э. Эгуд
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, Мир, 1990
Խորագրեր:	логическое программирование языки Пролог программы вводы выводы грамматические разборы приложения
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=35727

Նմանատիպ նյութեր

Реляционный язык Пролог и его применение: пер. с англ.
‌: Малпас Дж. Р. Джон Р.
Հրապարակվել է: (Москва, Наука, 1990)

C++ под рукой: пер. с англ.
‌: Лукас П. Пол
Հրապարակվել է: (Киев, ДиаСофт, 1993)

Язык программирования Пролог: пер. с англ.
‌: Стобо Д. Джон
Հրապարակվել է: (Москва, Радио и связь, 1993)

Логическое программирование. Язык Пролог тексты лекций
‌: Волчёнков Н. Г.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2015)

Искусственный интеллект и пролог на микроЭВМ
‌: Макаллистер Дж.
Հրապարակվել է: (Москва, Машиностроение, 1990)

Введение в логическое программирование на микро-прологе: пер. с англ.
‌: Кларк Кейт Л.
Հրապարակվել է: (Москва, Радио и связь, 1987)

Программирование на языке Пролог для искусственного интеллекта: пер. с англ.
‌: Братко И. Иван
Հրապարակվել է: (Москва, Мир, 1990)

Справочник программиста персональных компьютеров типа IBK PC, XT AT: пер. с англ.
‌: Джордейн Р. Роберт
Հրապարակվել է: (Москва, Финансы и статистика, 1992)

Логическое программирование: сборник статей; пер. с англ. и фр.
Հրապարակվել է: (Москва, Мир, 1988)

ПРОЛОГ - язык программирования будущего: пер. с англ.
‌: Доорс Дж.
Հրապարակվել է: (Москва, Финансы и статистика, 1990)

Микропроцессор 80386 и его программирование: пер. с англ.
‌: Брамм П. Пенн
Հրապարակվել է: (Москва, Мир, 1990)

Теория и практика логического программирования на языке Visual Prolog 7: учебное пособие
‌: Цуканова Н. И. Нина Ивановна
Հրապարակվել է: (Москва, Горячая линия-Телеком, 2013)

Пролог в примерах и задачах
‌: Ходашинский И. А. Илья Александрович
Հրապարակվել է: (Томск, Курсив, 2001)

Использование Турбо - Пролога: пер. с англ.
‌: Ин Цин Маун Цин Маун
Հրապարակվել է: (Москва, Мир, 1993)

Интеллектуальное программирование: Турбо-пролог и рефал-5 на персональных компьютерах
Հրապարակվել է: (СПб., Изд-во СПбГУ, 1992)

Программирование на языке Пролог
‌: Клоксин У. Уильям
Հրապարակվել է: (Москва, Мир, 1987)

Логика и пролог в дискретной математике
‌: Набебин А. А. Алексей Александрович
Հրապարակվել է: (Москва, Изд-во МЭИ, 1996)

Устройства ввода-вывода современных вычислительных машин
‌: Адасько В. И. Владимир Иосифович
Հրապարակվել է: (Москва, Энергия, 1971)

Язык Пролог в пятом поколении ЭВМ: сборник статей; пер. с англ.
Հրապարակվել է: (Москва, Мир, 1988)

Программирование экспертных систем на Турбо Прологе: пер. с англ.
‌: Марселлус Д. Дэнэл
Հրապարակվել է: (Москва, Финансы и статистика, 1994)

Системы искусственного интеллекта. Практикум для проведения лабораторных работ
‌: Харахан О. Г.
Հրապարակվել է: (Москва, Горная книга, 2006)

Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Հրապարակվել է: (Таллин, Изд-во ин-та кибернетики, 1986)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
‌: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
‌: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)

Турбо-Пролог в сжатом изложении: пер. с нем.
‌: Янсон А. Александр
Հրապարակվել է: (Москва, Мир, 1991)

Функциональное и логическое программирование: учебное пособие
‌: Сергиевский Г. М. Георгий Максимович
Հրապարակվել է: (Москва, Академия, 2010)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
‌: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (Томск, 2009)

Язык программирования лого
‌: Дьяконов В. П. Владимир Павлович
Հրապարակվել է: (Москва, Радио и связь, 1991)

Парадигма программирования учебное пособие для вузов
‌: Городняя Л. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2021)

Интеллектуальные информационные системы лабораторный практикум
‌: Козлов А. Н.
Հրապարակվել է: (Пермь, ПГАТУ, 2022)

Языки программирования: учебное пособие
‌: Тюгашев А. А. Андрей Александрович
Հրապարակվել է: (Санкт-Петербург, Питер, 2014)

Аппаратно-программные средства процессоров логического вывода
‌: Вишняков В. А. Владимир Анатольевич
Հրապարակվել է: (Москва, Радио и связь, 1991)

Т. 6; Вычислительные науки
Հրապարակվել է: (1991)

Т. 4; Вычислительные науки
Հրապարակվել է: (1990)

Обольстить логикой. Выводы на все случаи жизни
‌: Дрёссер К. Кристоф
Հրապարակվել է: (Москва, Лаборатория знаний, 2025)

Искусство программирования
‌: Невская Е. С. Елена Сергеевна
Հրապարակվել է: (Москва, Вузовская книга, 2002)

Автоматизация проектирования ЭВМ: учебное пособие для вузов
‌: Скляров В. А. Валерий Анатольевич
Հրապարակվել է: (Минск, Вышэйшая школа, 1990)

Электрический расчет высоковольтных вводов: конспект по курсу " Расчет и конструирование электрической изоляции"
‌: Мантров М. И. Михаил Иванович
Հրապարակվել է: (Москва, 1962)

Язык программирования С ++: пер. с англ.
‌: Страуструп Б. Бьерн
Հրապարակվել է: (Москва, Радио и связь, 1991)

Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация; Информатика
Հրապարակվել է: (1998)