Результаты поиска для 'su:логическое программирование' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (41)
Места хранения
Заглавие серии
Предметные рубрики
Коллекции
- NB (31)
- NBR (11)
- SCAN_DONE (1)
Библиотека хранения
- РНБ (Московский) (31)
- РНБ (Садовая) (3)
Языки
- английский (2)
- французский (1)
- русский (41)

	1.		КнигаЧ. 12002Сводное описание: Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-3/22430 (2). Добавить в подборку (удалить)
	2.		КнигаЛогическое программирование : учебное пособие / П.Ю. Шалимов ; М-во образования и науки Рос. Федерации, Брян. гос. техн. ун-тШалимов, Петр Юрьевич2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаЛогическое программирование и Visual Prolog : [Наиболее полн. рук.] / Анатолий Адаменко, Андрей КучуковАдаменко, Анатолий Николаевич -- АвторКучуков, Андрей -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-7/2762 (2). Добавить в подборку (удалить)
	4.		КнигаОптимизация логических алгоритмовПрихожий, Анатолий Алексеевич1991Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 91-4/12418 (1). Добавить в подборку (удалить)
	5.		КнигаОптимизация логических алгоритмовПрихожий, Анатолий Алексеевич1991Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 91-4/12418 (1). Добавить в подборку (удалить)
	6.		КнигаФункциональное и логическое программирование : Учеб. пособие / А. К. Демидов ; М-во образования Рос. Федерации, Юж.-Урал. гос. ун-т. Каф. "Прикл. математика"Демидов, Андрей Константинович -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/4987 (2). Добавить в подборку (удалить)
	7.		КнигаЛогический подход к искусственному интеллекту : От модал. логики к логике баз данных / [А. Тейз, П. Грибомон, Г. Юлен и др.] ; Пер. с фр. Г.П. Гаврилова и др. под ред. Г.П. ГавриловаТейз, А. -- Автор;Грибомон, П. -- Автор;Юлен, Г. -- Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 98-3/7017 (1). Добавить в подборку (удалить)
	8.		КнигаЛогическое программирование : Учеб. пособие / И. Г. Сидоркина, А. Г. Ветлугин ; М-во общ. и проф. образования Рос. Федерации, Мар. гос. техн. ун-тСидоркина, Ирина Геннадьевна -- АвторВетлугин, Александр Геннадьевич -- Автор1997Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-4/8987 (1). Добавить в подборку (удалить)
	9.		КнигаЛогическое программирование : Учеб. пособие / Л.Н. Миклашевская, М.П. Малыхина, А.П. Частиков ; М-во образования Рос. Федерации, Кубан. гос. технол. ун-тМиклашевская, Любовь Николаевна -- АвторМалыхина, Мария Петровна -- Автор;Частиков, Аркадий Петрович -- Автор2002Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	10.		КнигаЛогическое программирование : Учеб. пособие / В.М. Зюзьков ; М-во образования Рос. ФедерацииЗюзьков, Валентин Михайлович -- Автор1999Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-3/4562 (2). Добавить в подборку (удалить)
	11.		КнигаПрограммирование на языке Пролог : учебное пособие / Е. И. Большакова, Н. В. Груздева ; Московский гос. ун-т им. М. В. Ломоносова, Фак. вычислительной математики и кибернетикиБольшакова, Елена ИгоревнаГруздева, Надежда Валерьевна2013Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	12.		КнигаОсновы логического программирования : Учеб.-метод. пособие / И. И. Раскина, О. В. Шкабура ; М-во образования Рос. Федерации, Омский гос. пед. ун-тРаскина, И. И. -- АвторШкабура, О. В. -- Автор2001Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-3/8580 (2). Добавить в подборку (удалить)
	13.		КнигаПриложения логического программирования : Учеб.-метод. пособие / Н. А. Будникова, Петрозав. гос. ун-тБудникова, Наталья Алексеевна -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/3507 (2). Добавить в подборку (удалить)
	14.		КнигаЛогическое программирование : учебник : по направлениям подготовки "Информационные технологии автоматизированных систем", "Программная инженерия", "Прикладная информатика" / А. А. Петренко, А. О. СуворовПетренко, Александр АнатольевичСуворов, Александр Олегович2025 (печ. 2024)Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2024-5/8553 (2), РНБ (Садовая) (1). Добавить в подборку (удалить)
	15.		КнигаПрограммирование на языке Пролог для задач искусственного интеллекта. Введение в логическое программирование : учебник для [студентов магистратуры] направления подготовки 45.04.04 "Интеллектуальные системы в гуманитарной сфере" / Е. А. Ефимова ; Минобрнауки России, Федеральное государственное бюджетное образовательное учреждение высшего образования "Российский государственный гуманитарный университет", Отделение интеллектуальных систем в гуманитарной сфере, Кафедра математики, логики и интеллектуальных систем в гуманитарной сфереЕфимова, Елена Анатольевна 2019Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	16.		КнигаАлгоритмические языки в САПР. Логическое программирование : Учеб. пособие / [В.В. Серов, д.т.н.] ; М-во образования Рос. Федерации, Рос. заоч. ин-т текстил. и легкой пром-сти. Каф. информатикиСеров, Владимир Васильевич -- Автор2001Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/3919 (2). Добавить в подборку (удалить)
	17.		КнигаАвтоматизация логического моделирования программного обеспечения с применением формального аппарата семиотических систем / В.В. ФоминФомин, Владимир Владимирович -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-3/15761 (2). Добавить в подборку (удалить)
	18.		КнигаРекурсивно-логическое программирование : конспект лекций / С. Г. Попов ; Федеральное агентство по образованию, Санкт-Петербургский гос. политехнический ун-тПопов, Сергей Геннадьевич -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/5065 (2). Добавить в подборку (удалить)
	19.		КнигаФункциональное и логическое программирование : учебное пособие / А.Л. ЕздаковЕздаков, Андрей Леонидович -- Автор2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-5/3829 (2). Добавить в подборку (удалить)
	20.		КнигаФункциональное и логическое программирование : учебное пособие / А.Л. ЕздаковЕздаков, Андрей Леонидович -- Автор2011Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-5/5064 (2). Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 41 результатов