Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логическое программирование<.>)
Общее количество найденных документов : 8 Показаны документы с 1 по 8

1..8

В12
М54

Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. - ISBN 5-88688-037-2 : 50.00 р.

ББК В12
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- логическая семантика -- логическое программирование -- логические программы

Держатели документа:
ЯрГУ

Доп.точки доступа:
Нероуд, А. ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

З973
Х68

Хоггер, Кристофер Джон.
Введение в логическое программирование [Текст] : нелитературный текст / К. Д.Хоггер ; Пер.с англ. - М. : Мир, 1988. - 348с. - ISBN 5-03-000490-4 : 30.00 р.

ББК З973
Рубрики: Вычислительная техника
Программирование
Кл.слова (ненормированные):
б-ка Русина -- логическое программирование -- программы -- Пролог

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В18я43
Л69

Логическое программирование [Текст] : сб.ст. / Пер.с англ.и фр. - М. : Мир, 1988. - 366с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-000972-8 : 6.00 р.

ББК В18я43
Рубрики: Кибернетика
Вычислительная техника
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- логическое программирование -- ЭВМ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В19я54
В94

Мельников, В. А.
Вычислительные науки [Текст] : нелитературный текст. Т. 4 / Науч. ред. В. А. Мельников. - [Б. м. : б. и.]. - 200 с. - (Итоги науки и техники. ВИНИТИ, ISSN 0236-3127). - 20.00 р.

ББК В19я54
Рубрики: кибернетика
вычислительная математика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- языки программирования -- логическое программирование

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

З973.2-018.1я43
Я41

Язык Пролог в пятом поколении ЭВМ [Текст] : сб. статей / пер. с англ. - М. : Мир, 1988. - 501 с. - ISBN 5-03-000537-4 : 5.00 р.

ББК З973.2-018.1я43
Рубрики: Программирование
Кл.слова (ненормированные):
б-ка Русина -- логическое программирование -- языки программирование -- пролог

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

З973.2-018.1я73
Ш 85

Шрайнер, Павел Александрович.
Основы программирования на языке Пролог [] : курс лекций : учеб. пособие для вузов / П. А. Шрайнер. - М. : Интернет-Ун-т Информационных Технологий, 2005. - 173 с. - (Основы информационных технологий). - ISBN 5-9556-0034-5 : 150.00 р.

ББК З973.2-018.1я73
Рубрики: Программирование
Кл.слова (ненормированные):
логическое программирование -- языки программирования -- Пролог -- учебник З973.2-018.1

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие

З973.2-018.1я73
Б 33

Башкин, Владимир Анатольевич.
Функциональное программирование на языке SML [] : метод. указания / В. А. Башкин. - Ярославль : [б. и.], 2007. - 39 с. - 6.93 р.

ББК З973.2-018.1я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирование -- язык SML -- декларативное программирование -- логическое программирование -- учебник З973.2-018.1 -- ЯрГУ

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие

В185.2я73
Р 82

Рублев, Вадим Сергеевич.
Языки логического программирования [] : учеб. пособие для вузов / В. С. Рублев. - Ярославль : [б. и.], 2007. - 143 с. - ISBN 978-5-8397-0574-6 : 39.72 р.

ББК В185.2я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирования -- логическое программирование -- РЕФАЛ язык -- ПРОЛОГ язык -- модель Бэкуса -- учебник В185.2 -- учебник З973.2

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие

1..8