Введение в логическое программирование

Введение в логическое программирование

Bibliografische gegevens
Hoofdauteur:	Хоггер К. Дж. Кристофер Джон
Andere auteurs:	Янов Ю. И. (редактор), Захарьящев М. В. (переводчик)
Taal:	Russisch
Gepubliceerd in:	Москва, Мир, 1988
Onderwerpen:	логическое программирование логические программы структуры данных верификация реализация вычисления теория
Formaat:	Boek
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119334

Gelijkaardige items

Введение в логическое программирование
door: Дженесерет М.
Gepubliceerd in: (Москва, ДМК Пресс, 2022)

Логическое программирование и моделирование систем: учебное пособие
door: Новосельцев В. Б. Виталий Борисович
Gepubliceerd in: (Томск, Изд-во ТПУ, 2008)

Логическое программирование и базы данных: пер. с англ.
door: Чери С. Стефано
Gepubliceerd in: (Москва, Мир, 1992)

Логическое программирование и моделирование систем: учебное пособие; электронный ресурс
door: Новосельцев В. Б. Виталий Борисович
Gepubliceerd in: (Томск, Изд-во ТПУ, 2008)

Т. 6; Вычислительные науки
Gepubliceerd in: (1991)

Т. 4; Вычислительные науки
Gepubliceerd in: (1990)

Логическое программирование. Язык Пролог тексты лекций
door: Волчёнков Н. Г.
Gepubliceerd in: (Москва, НИЯУ МИФИ, 2015)

Жемчужины программирования: пер. с англ.
door: Бентли Д. Джон
Gepubliceerd in: (СПб., Питер, 2002)

Логическое управление: Методы аппаратной и программной реализации алгоритмов
door: Шалыто А. А. Анатолий Абрамович
Gepubliceerd in: (СПб., Наука, 2000)

Функциональное и логическое программирование: учебное пособие
door: Озерова И. Г. Ирина Геннадьевна
Gepubliceerd in: (Томск, Изд-во ТПУ, 2005)

Функциональное и логическое программирование: учебное пособие
door: Озерова И. Г. Ирина Геннадьевна
Gepubliceerd in: (Томск, Изд-во ТПУ, 2004)

Введение в логическое программирование на микро-прологе: пер. с англ.
door: Кларк Кейт Л.
Gepubliceerd in: (Москва, Радио и связь, 1987)

Логическое программирование: сборник статей; пер. с англ. и фр.
Gepubliceerd in: (Москва, Мир, 1988)

Функциональное и логическое программирование: учебное пособие
door: Сергиевский Г. М. Георгий Максимович
Gepubliceerd in: (Москва, Академия, 2010)

Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация; Информатика
Gepubliceerd in: (1998)

Функциональное программирование учебник и практикум для вузов
door: Кубенский А. А. Александр Александрович
Gepubliceerd in: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
door: Кубенский А. А. Александр Александрович
Gepubliceerd in: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
door: Кубенский А. А. Александр Александрович
Gepubliceerd in: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
door: Кубенский А. А. Александр Александрович
Gepubliceerd in: (Москва, Юрайт, 2021)

Функциональное программирование учебник и практикум для вузов
door: Кубенский А. А. Александр Александрович
Gepubliceerd in: (Москва, Юрайт, 2023)

Функциональное и логическое программирование. Ч. 1 учебное пособие
Gepubliceerd in: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)

Логическое программирование в занимательных задачах
door: Касаткин В. Н. Валентин Николаевич
Gepubliceerd in: (Киев, Технiка, 1980)

Функциональное и логическое программирование: учебное пособие
door: Ездаков А. Л. Андрей Леонидович
Gepubliceerd in: (Москва, БИНОМ. Лаборатория знаний, 2009)

Современное логическое программирование на языке Visual Prolog 7.5: учебник
door: Марков В. Н.
Gepubliceerd in: (Санкт-Петербург, БХВ-Петербург, 2016)

Программирование: научный журнал
Gepubliceerd in: (Москва, Наука, 2017-2019)

Логическое проектирование дискретных устройств: сборник научных трудов
Gepubliceerd in: (Минск, Изд-во ИТК, 1984)

Логическое управление с использованием ЭВМ: тезисы докладов XIV Всесоюзного симпозиума
Gepubliceerd in: (Москва, Изд-во Московского гос. горного ун-та, 1991)

Искусственный интеллект и логическое программирование / ДО 2019 (09.03.04): электронный курс
door: Марухина О. В. Ольга Владимировна
Gepubliceerd in: (Томск, TPU Moodle, 2023)

Логическое следование и условные высказывания
door: Сидоренко Е. А. Евгений Александрович
Gepubliceerd in: (Москва, Наука, 1983)

Логическое программирование на языке Visual Prolog: учебное пособие для вузов
door: Цуканова Н. И. Нина Ивановна
Gepubliceerd in: (Москва, Горячая линия-Телеком, 2014)

Логическое управление и технологические защиты: методические указания к лабораторным работам
door: Захаревич Ю. С. Юлия Сергеевна
Gepubliceerd in: (Томск, АлКом, 2021)

Логическое управление информационными процессами
door: Горбатов В. А. Вячеслав Афанасьевич
Gepubliceerd in: (Москва, Энергоатомиздат, 1984)

Вып. 2 : Логическое проектирование протоколов; Вычислительные сети
Gepubliceerd in: (1988)

Логическое управление и технологические защиты: методические указания к практическим работам
door: Захаревич Ю. С. Юлия Сергеевна
Gepubliceerd in: (Томск, Изд-во "АлКом", 2021)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2021)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2025)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2024)

Программирование. Функциональный подход учебник и практикум для вузов
door: Зыков С. В. Сергей Викторович
Gepubliceerd in: (Москва, Юрайт, 2022)