№ | Дата |
Автор |
Заглавие |
---|
|
1993 |
Григорьев, Сергей Георгиевич (доктор технических наук) |
Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения. : Автореф.дис.на соиск.учен.степ.д-ра техн.наук:(05.13.11) / Моск.ин-т приборостроения |
|
2000 |
Бен-Ари, М. |
Языки программирования : Практ. сравн. анализ : Учеб. по яз. программирования / М.Бен-Ари ; Пер. с англ. В.С.Штаркмана, М.Н.Яковлевой ; Под ред. В.С.Штаркмана |
|
2001 |
Себеста, Роберт У |
Основные концепции языков программирования : Пер. с англ. / Роберт У.Себеста |
|
2001 |
Джексон, Питер |
Введение в экспертные системы : Пер. с англ. / Питер Джексон |
|
1995 |
Манцивода, Андрей Валерьевич (доктор физико-математических наук ; род. 1960) |
Логическое программирование в ограничениях: семантический подход : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.11 / Иркутск. гос. ун-т |
|
2000 |
Ярошевич, Андрей Олегович (информационные технологии) |
Функциональное и логическое программирование : лабораторный практикум для студентов специальности П.03.01.06 "Профессиональное обучение. Радиоэлектроника" и учащихся специальности Т.10.02 "Программное обеспечение информационных технологий" / А. О. Ярошевич, Т. В. Мытник ; Минский государственный высший радиотехнический колледж. — Ч. 1 |
|
1994 |
Захаров, В. А. |
О преобразовании операторных процедур в логические программы |
|
2003 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Логика распознавания / А.Д.Закревский ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
1994 |
Тихонов, Юрий Вениаминович |
МПролог-язык логического программирования. Версия 2.3 |
|
1998 |
Метакидес, Георгий |
Принципы логики и логического программирования / Г.Метакидес, А.Нероуд ; Пер. с англ. В.А.Захарова и др. ; Под ред. В.А.Садовничего и В.А.Захарова |
|
1998 |
|
Логический подход к искусственному интеллекту : От модал. логики к логике баз данных / А.Тейз, П.Грибомон, Г.Юлен и др. ; Пер. с фр. Г.П.Гаврилова и др. ; Под ред. Г.П.Гаврилова |
|
2002 |
|
Функциональное и логическое программирование : методическое пособие для специальности 40 01 01 "Программное обеспечение информационных технологий" / Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра программного обеспечения информационных технологий. — Ч. 1: Язык программирования Лисп / И. А. Мурашко, И. М. Марина |
|
1998 |
Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) |
Функциональное и логическое программирование : методическое пособие для специальности "Программное обеспечение информационных технологий" / А. А. Прихожий ; Министерство образования Республики Беларусь, Белорусский государственный университет информатики и радиоэлектроники, Кафедра программное обеспечения информационных технологий |
|
2006 |
|
Функциональное и логическое программирование : методическое пособие для специальности 40 01 01 "Программное обеспечение информационных технологий" / Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра программного обеспечения информационных технологий. — Ч. 2: Язык программирования Пролог / [С. В. Крицкий и др.] |
|
2002 |
|
Разработка экспертных систем в интегрированной среде Turbo Prolog : лабораторные работы (практикум) для специальности Т.10.02.00 ― "Программное обеспечение информационных технологий" / Министерство образования Республики Беларусь, Белорусская государственная политехническая академия, Кафедра "Системы автоматизированного проектирования" ; [составитель А. А. Меньщиков] |