Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
14 из 14
Доступно
4 из 4
Доступно
3 из 3
Доступно
6 из 6
Доступно
6 из 6
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
3 из 3
Экз. чит. зала
Доступно
1 из 1
Доступно
8 из 10
Доступно
3 из 3
--> ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Рубрика
- Название:
- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
[Вып. 166]: Язык логики и логика языка: (сборник статей к 60-летию профессора В.А. Успенского)
1990 г.
ISBN отсутствует
[Вып. 166]: Язык логики и логика языка: (сборник статей к 60-летию профессора В.А. Успенского)
1990 г.
ISBN отсутствует
Заказать 
На полку Доступно
1 из 1
Книга
Algebraic and logic programming: Proceedings of an International Warkshop held Gaussig (GDR), November 14-18, 1988
ISBN 3-05-500665-8
Algebraic and logic programming: Proceedings of an International Warkshop held Gaussig (GDR), November 14-18, 1988
Серия: Mathematical Research
Akademie-Verlag, 1988 г.ISBN 3-05-500665-8
Статья
Махортов, С.Д.
LP-структуры на решетках типов и некоторые задачи рефакторинга
б.г.
ISBN отсутствует
Махортов, С.Д.
LP-структуры на решетках типов и некоторые задачи рефакторинга
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Parent, Michel
Vol.5. : Logic and programming
Prentice Hall, Kogan Page, 1985 г.
ISBN 0-13-782178-6
Parent, Michel
Vol.5. : Logic and programming
Prentice Hall, Kogan Page, 1985 г.
ISBN 0-13-782178-6
Доступно
1 из 1
Книга
Вишняков, В.А.
Аппаратно-программные средства процессоров логического вывода
Радио и связь, 1991 г.
ISBN 5-256-00606-1
Вишняков, В.А.
Аппаратно-программные средства процессоров логического вывода
Радио и связь, 1991 г.
ISBN 5-256-00606-1
Доступно
2 из 2
Доступно
2 из 2
Книга
Кларк, Кейт Л.
Введение в логическое программирование на микро-Прологе
Радио и связь, 1987 г.
ISBN отсутствует
Кларк, Кейт Л.
Введение в логическое программирование на микро-Прологе
Радио и связь, 1987 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Книга
Вып.133. : Логические методы в программировании: сборник научных трудов
1990 г.
ISBN отсутствует
Вып.133. : Логические методы в программировании: сборник научных трудов
1990 г.
ISBN отсутствует
Доступно
14 из 14
Книга
Макаллистер, Дж.
Искусственный интеллект и Пролог на микроЭВМ
Машиностроение, 1990 г.
ISBN 5-217-00973-X
Макаллистер, Дж.
Искусственный интеллект и Пролог на микроЭВМ
Машиностроение, 1990 г.
ISBN 5-217-00973-X
Доступно
4 из 4
Доступно
3 из 3
Книга
Лабораторный практикум по дисциплине "Функциональное и логическое программирование" для специальн...
Реклама-Факсбелар, 1999 г.
ISBN отсутствует
Лабораторный практикум по дисциплине "Функциональное и логическое программирование" для специальн...
Реклама-Факсбелар, 1999 г.
ISBN отсутствует
Доступно
6 из 6
Доступно
6 из 6
Доступно
3 из 3
Книга
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
Электронный ресурс (аналит. описание)
Бойко, А.О.
Логический подход к искусственному интеллекту, язык программирования пролог
б.г.
ISBN отсутствует
Бойко, А.О.
Логический подход к искусственному интеллекту, язык программирования пролог
б.г.
ISBN отсутствует
Статья
Устюжанинов, В.Н.
Логическое моделирование системы датчиков в системах контроля доступа
б.г.
ISBN отсутствует
Устюжанинов, В.Н.
Логическое моделирование системы датчиков в системах контроля доступа
б.г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Книга
Адаменко, А.Н.
Логическое программирование и Visual Prolog
ISBN 5-941571-56-9
Адаменко, А.Н.
Логическое программирование и Visual Prolog
Серия: В подлиннике
БХВ-Петербург, 2003 г.ISBN 5-941571-56-9
Доступно
3 из 3
Доступно
3 из 3
Экз. чит. зала
Доступно
1 из 1
Книга
Боровская, Е.В.
Основы искусственного интеллекта: учебное пособие
ISBN 9785947744804
Боровская, Е.В.
Основы искусственного интеллекта: учебное пособие
Серия: Педагогическое образование
БИНОМ. Лаборатория знаний, 2018 г.ISBN 9785947744804
Доступно
8 из 10
Книга
Боровская, Е.В.
Основы искусственного интеллекта: учебное пособие
Лаборатория знаний, 2026 г.
ISBN 9785001013570
Боровская, Е.В.
Основы искусственного интеллекта: учебное пособие
Лаборатория знаний, 2026 г.
ISBN 9785001013570
Статья
Бибило, П.Н.
Оценка энергопотребления КМОП-СХЕМ на основе логического моделирования
б.г.
ISBN отсутствует
Бибило, П.Н.
Оценка энергопотребления КМОП-СХЕМ на основе логического моделирования
б.г.
ISBN отсутствует
Доступно
3 из 3