Поисковый запрос: (<.>KL=пролог<.>) |
Общее количество найденных документов : 26
Показаны документы с 1 по 20 |
|
1.
| Шелепова Л. И. Лексические разночтения в Прологе (по спискам XII-XVII вв.)/Л. И. Шелепова ; . - 1992
|
2.
| Стобо Дж. Язык программирования Пролог/Дж. Стобо ; . - 1993
|
3.
| Тихонов Ю. В. МПролог-язык логического программирования: Версия 2. 3/Юрий Вениаминович Тихонов. - 1994
|
4.
| Грэй П. Логика, алгебра и базы данных/П. Грэй ; . - 1989
|
5.
| Чери С. Логическое программирование и базы данных/С. Чери, Г. Готлоб, Л. Танка ; . - 1992
|
6.
| Каймин В. А. Научные основы и методика преподавания информатики/Виталий Адольфович Каймин. - 1992
|
7.
| Geske U. Prolog: Grundlagen-Programmiermethoden-Standards/Ulrich Geske. - 1993
|
8.
| Каймин В. А. Информатика/Виталий Адольфович Каймин. - 2002
|
9.
| Каймин В. А. Информатика/Виталий Адольфович Каймин. - 2004
|
10.
| Державина О. А. Древняя Русь в русской литературе XIX века. (Сюжеты и образы древнерусской литературы в творчестве писателей XIX века)/отв. ред. В. П. Гребенюк. - 1990
|
11.
| Каймин В. А. Информатика/В. А. Каймин. - 2006
|
12.
| Каймин В. А. Информатика/В. А. Каймин. - 2008
|
13.
| Н. Г. Чернышевский. Статьи, исследования и материалы. Вып. 16. - 2007
|
14.
| Гринченков Д. В. Математическая логика и теория алгоритмов для программистов/Д. В. Гринченков, С. И. Потоцкий. - 2010
|
15.
| Сергиевский Г. М. Функциональное и логическое программирование/Г. М. Сергиевский, Н. Г. Волченков. - 2010
|
16.
| Каймин В. А. Информатика/В. А. Каймин. - 2010
|
17.
| Тюгашев А. А. Языки программирования/А. А. Тюгашев. - 2015
|
18.
| Братко И. Программирование на языке Пролог для искусственного интеллекта/И. Братко ; под ред., пер. с англ. А. М. Степанова, пер. с англ. А. И. Лупенко. - 1990
|
19.
| Литературный сборник XVII века "Пролог". Русская старопечатная литература (XVI-первая четверть XVIII в.)/О. А. Державина [и др.]. - 1978
|
20.
| Стерлинг Л. Искусство программирования на языке Пролог/Л. Стерлинг, Э. Шапиро; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова; под ред. Ю. Г. Дадаева. - 1990
|
|
|
|
Электронный каталог
Стандартный (по одному полю)