Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логическое программирование<.>)
Общее количество найденных документов
:
8
Показаны документы
с 1 по 8
1..8
1.
В12
М54
Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. -
ISBN
5-88688-037-2 : 50.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
логическая семантика
--
логическое
программирование
--
логические программы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Нероуд, А. ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
З973
Х68
Хоггер, Кристофер Джон
.
Введение в
логическое
программирование
[Текст] : нелитературный текст / К. Д.Хоггер ; Пер.с англ. - М. : Мир, 1988. - 348с. -
ISBN
5-03-000490-4 : 30.00 р.
ББК
З973
Рубрики:
Вычислительная техника
Программирование
Кл.слова (ненормированные):
б-ка Русина
--
логическое
программирование
--
программы
--
Пролог
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В18я43
Л69
Логическое
программирование
[Текст] : сб.ст. / Пер.с англ.и фр. - М. : Мир, 1988. - 366с. - (Математическое обеспечение ЭВМ). -
ISBN
5-03-000972-8 : 6.00 р.
ББК
В18я43
Рубрики:
Кибернетика
Вычислительная техника
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
логическое
программирование
--
ЭВМ
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В19я54
В94
Мельников, В. А.
Вычислительные науки [Текст] : нелитературный текст. Т. 4 / Науч. ред. В. А. Мельников. - [Б. м. : б. и.]. - 200 с. - (Итоги науки и техники. ВИНИТИ, ISSN 0236-3127). - 20.00 р.
ББК
В19я54
Рубрики:
кибернетика
вычислительная математика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
языки программирования
--
логическое
программирование
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
З973.2-018.1я43
Я41
Язык Пролог в
пятом поколении ЭВМ [Текст] : сб. статей / пер. с англ. - М. : Мир, 1988. - 501 с. -
ISBN
5-03-000537-4 : 5.00 р.
ББК
З973.2-018.1я43
Рубрики:
Программирование
Кл.слова (ненормированные):
б-ка Русина
--
логическое
программирование
--
языки
программирование
--
пролог
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
З973.2-018.1я73
Ш 85
Шрайнер, Павел Александрович
.
Основы программирования на языке Пролог [] : курс лекций : учеб. пособие для вузов / П. А. Шрайнер. - М. : Интернет-Ун-т Информационных Технологий, 2005. - 173 с. - (Основы информационных технологий). -
ISBN
5-9556-0034-5 : 150.00 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
логическое
программирование
--
языки программирования
--
Пролог
--
учебник З973.2-018.1
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
7.
З973.2-018.1я73
Б 33
Башкин, Владимир Анатольевич
.
Функциональное
программирование
на языке SML [] : метод. указания / В. А. Башкин. - Ярославль : [б. и.], 2007. - 39 с. - 6.93 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки
программирование
--
язык SML
--
декларативное
программирование
--
логическое
программирование
--
учебник З973.2-018.1
--
ЯрГУ
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
8.
В185.2я73
Р 82
Рублев, Вадим Сергеевич
.
Языки логического программирования [] : учеб. пособие для вузов / В. С. Рублев. - Ярославль : [б. и.], 2007. - 143 с. -
ISBN
978-5-8397-0574-6 : 39.72 р.
ББК
В185.2я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирования
--
логическое
программирование
--
РЕФАЛ язык
--
ПРОЛОГ язык
--
модель Бэкуса
--
учебник В185.2
--
учебник З973.2
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
1..8