База данных: Каталог IBIS
Page 1, Results: 23
Отмеченные записи: 0
1.
Подробнее
Ч-47
Чери, С.
Логическое программирование и базы данных : пер. с англ. / С. Чери, Г. Готлоб, Л. Танка. - М. : Мир, 1992. - 352 с : ил. - ISBN 5-03-002472-7 : 50 тн.
Кл.слова (ненормированные):
базы данных -- языки программирования -- логический -- пролог
Аннотация: в кн. удачно сочетаются теорет. основы и технологии построения основ. компонентов дедуктив. баз данных. уделено внимание языку дейталог.
Доп.точки доступа:
Готлоб, Г.
Танка, Л.
Экземпляры всего: 1
Консервация (1)
Свободны: Консервация (1)
Ч-47
Чери, С.
Логическое программирование и базы данных : пер. с англ. / С. Чери, Г. Готлоб, Л. Танка. - М. : Мир, 1992. - 352 с : ил. - ISBN 5-03-002472-7 : 50 тн.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
базы данных -- языки программирования -- логический -- пролог
Аннотация: в кн. удачно сочетаются теорет. основы и технологии построения основ. компонентов дедуктив. баз данных. уделено внимание языку дейталог.
Доп.точки доступа:
Готлоб, Г.
Танка, Л.
Экземпляры всего: 1
Консервация (1)
Свободны: Консервация (1)
2.
Подробнее
Б83
Бородин, А. П.
Князь Игорь А.П. Бородина : опера в 4-х д., 5-ти карт. с прологом : слова и музыка А.П. Бородина / А.П. Бородин. - 2-е изд. - М. : Музыка, 1965. - 95 с. - (Оперные либретто). - 0.18 р.
Кл.слова (ненормированные):
МУЗЫКА -- ОПЕРА -- ТЕКСТЫ -- РУССКИЙ -- ДОРЕВОЛЮЦИОННЫЙ -- КОМПОЗИТОРЫ
Экземпляры всего: 1
книгохранение (1)
Свободны: книгохранение (1)
Б83
Бородин, А. П.
Князь Игорь А.П. Бородина : опера в 4-х д., 5-ти карт. с прологом : слова и музыка А.П. Бородина / А.П. Бородин. - 2-е изд. - М. : Музыка, 1965. - 95 с. - (Оперные либретто). - 0.18 р.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
МУЗЫКА -- ОПЕРА -- ТЕКСТЫ -- РУССКИЙ -- ДОРЕВОЛЮЦИОННЫЙ -- КОМПОЗИТОРЫ
Экземпляры всего: 1
книгохранение (1)
Свободны: книгохранение (1)
3.
Подробнее
П80
Пролог великого октября: по материалам республиканской научной конференции, посвященной 80-летию революции 1905-1907 гг. в россии. [Текст]. - МИНСК : Вышэйшая школа, 1986. - 128 с. - Б. ц.
ББК 63.3(2) + 63.3(2)522
Кл.слова (ненормированные):
ИСТОРИЯ -- РОССИЯ -- РЕВОЛЮЦИЯ -- ДВИЖЕНИЕ
Свободных экз. нет
П80
Пролог великого октября: по материалам республиканской научной конференции, посвященной 80-летию революции 1905-1907 гг. в россии. [Текст]. - МИНСК : Вышэйшая школа, 1986. - 128 с. - Б. ц.
Кл.слова (ненормированные):
ИСТОРИЯ -- РОССИЯ -- РЕВОЛЮЦИЯ -- ДВИЖЕНИЕ
Свободных экз. нет
4.
Подробнее
Д67
Доорс, Д.
Пролог - язык программирования будущего : научное издание; пер. с англ. яз. / Д. Доорс, А. Рейблейн, С. Вадера ; пер. с англ. яз. А. Н. Волкова. - М. : Финансы и статистика, 1990. - 134 с. - ISBN 5-279-00444-8 : 29.00 тн.
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ
Доп.точки доступа:
Рейблейн, А.
Вадера, С.
Волков, А.Н. \пер.\
Экземпляры всего: 2
Абонемент гл.корпус (2)
Свободны: Абонемент гл.корпус (2)
Д67
Доорс, Д.
Пролог - язык программирования будущего : научное издание; пер. с англ. яз. / Д. Доорс, А. Рейблейн, С. Вадера ; пер. с англ. яз. А. Н. Волкова. - М. : Финансы и статистика, 1990. - 134 с. - ISBN 5-279-00444-8 : 29.00 тн.
| УДК |
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ
Доп.точки доступа:
Рейблейн, А.
Вадера, С.
Волков, А.Н. \пер.\
Экземпляры всего: 2
Абонемент гл.корпус (2)
Свободны: Абонемент гл.корпус (2)
5.
Подробнее
Б87
Братко, И.
Программирование на языке пролог для искусственного интеллекта : пер. с англ. / И. Братко. - М. : Мир, 1990. - 560 с. - ISBN 5-03-001425-Х. - ISBN 0-201-14224-4 : 3.50 руб
Числится на 01.10.2022 ук 3284 - 5 экз.
Перевод заглавия: PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
Кл.слова (ненормированные):
программирование -- языки программирования -- ПРОЛОГ -- искусственный интеллект -- зарубежный опыт
Доп.точки доступа:
Степанов, А.М. \ред.\
Лупенко, А.И. \пер.\
Степанов, А.М.
Экземпляры всего: 5
Консервация (4), I корпус, 627 ауд. (1)
Свободны: Консервация (4), I корпус, 627 ауд. (1)
Б87
Братко, И.
Программирование на языке пролог для искусственного интеллекта : пер. с англ. / И. Братко. - М. : Мир, 1990. - 560 с. - ISBN 5-03-001425-Х. - ISBN 0-201-14224-4 : 3.50 руб
Числится на 01.10.2022 ук 3284 - 5 экз.
Перевод заглавия: PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
| ГРНТИ | ||
| УДК |
Кл.слова (ненормированные):
программирование -- языки программирования -- ПРОЛОГ -- искусственный интеллект -- зарубежный опыт
Доп.точки доступа:
Степанов, А.М. \ред.\
Лупенко, А.И. \пер.\
Степанов, А.М.
Экземпляры всего: 5
Консервация (4), I корпус, 627 ауд. (1)
Свободны: Консервация (4), I корпус, 627 ауд. (1)
6.
Подробнее
М15
Макаллистер, ДЖ.
Искусственный интеллект и пролог на микроэвм / пер. с англ. а.в.чукашова, м.в.сергиевского. под ред. м.в.сергиевского. [Текст] / ДЖ. Макаллистер. - М. : Машиностроение, 1990. - 235 с. - Б. ц.
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- МИКРО-ЭВМ -- ЗАРУБЕЖНЫЙ ОПЫТ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Свободных экз. нет
М15
Макаллистер, ДЖ.
Искусственный интеллект и пролог на микроэвм / пер. с англ. а.в.чукашова, м.в.сергиевского. под ред. м.в.сергиевского. [Текст] / ДЖ. Макаллистер. - М. : Машиностроение, 1990. - 235 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- МИКРО-ЭВМ -- ЗАРУБЕЖНЫЙ ОПЫТ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Свободных экз. нет
7.
Подробнее
К50
Клоксин, УИЛЬЯМ
Программирование на языке пролог. [Текст] / УИЛЬЯМ Клоксин, КРИСТОФЕР Меллиш. - М. : Мир, 1987. - 336 с. - Б. ц.
Кл.слова (ненормированные):
МИКРО-ЭВМ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ -- ЭВМ
Доп.точки доступа:
Меллиш, КРИСТОФЕР
Свободных экз. нет
К50
Клоксин, УИЛЬЯМ
Программирование на языке пролог. [Текст] / УИЛЬЯМ Клоксин, КРИСТОФЕР Меллиш. - М. : Мир, 1987. - 336 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МИКРО-ЭВМ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ -- ЭВМ
Доп.точки доступа:
Меллиш, КРИСТОФЕР
Свободных экз. нет
8.
Подробнее
Я65
Янсон, А.
Турбо-Пролог в сжатом изложении : пер. с нем. / А. Янсон. - М. : Мир, 1991. - 92 с. - 1.50 p.
Числится на 01.10.2022 ук 3439 - 2 экз.
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ПК -- ПРОЛОГ
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
Я65
Янсон, А.
Турбо-Пролог в сжатом изложении : пер. с нем. / А. Янсон. - М. : Мир, 1991. - 92 с. - 1.50 p.
Числится на 01.10.2022 ук 3439 - 2 экз.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ПК -- ПРОЛОГ
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
9.
Подробнее
В 55
Вишняков, В. А.
Аппаратно-программные средства процессоров логического вывода : научное издание / В.А. Вишняков, Д.Ю. Буланже, О.В. Герман. - М. : Радио и связь, 1991. - 264 с. - Б. ц.
Кл.слова (ненормированные):
ПРОЦЕССОРЫ -- ПРОГРАММЫ -- СРЕДСТВА -- ВЫВОД -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЛОГИЧЕСКИЙ
Аннотация: РАССМОТРЕНЫ ТЕОРЕТ. АСПЕКТЫ ПОСТРОЕНИЯ АППАРАТНО-ПРОГРАММНЫХ СРЕДСТВ ПРОЦЕССОРОВ, ПОДДЕРЖИВАЮЩИХ МЕХАНИЗМЫ ЛОГИЧЕСКОГО ВЫВОДА В ВЕРСИЯХ ЯЗЫКА ПРОЛОГ.
Доп.точки доступа:
Буланже, Д.Ю.
Герман, О.В.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
В 55
Вишняков, В. А.
Аппаратно-программные средства процессоров логического вывода : научное издание / В.А. Вишняков, Д.Ю. Буланже, О.В. Герман. - М. : Радио и связь, 1991. - 264 с. - Б. ц.
| ГРНТИ | ||
| УДК |
Кл.слова (ненормированные):
ПРОЦЕССОРЫ -- ПРОГРАММЫ -- СРЕДСТВА -- ВЫВОД -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЛОГИЧЕСКИЙ
Аннотация: РАССМОТРЕНЫ ТЕОРЕТ. АСПЕКТЫ ПОСТРОЕНИЯ АППАРАТНО-ПРОГРАММНЫХ СРЕДСТВ ПРОЦЕССОРОВ, ПОДДЕРЖИВАЮЩИХ МЕХАНИЗМЫ ЛОГИЧЕСКОГО ВЫВОДА В ВЕРСИЯХ ЯЗЫКА ПРОЛОГ.
Доп.точки доступа:
Буланже, Д.Ю.
Герман, О.В.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
10.
Подробнее
К15
Каймин, В. А.
Информатика : учебник / В.А. Каймин ; Мин-во образования РФ. - 3-е изд. - М. : ИНФРА-М, 2003. - 272 с. - (Высшее образование). - ISBN 5-16-001393-8
Рубрики: вычислительная техника--информатика
Доп.точки доступа:
М-во образования РФ
Экземпляры всего: 26
Книгохранение (4), Абонемент 1 корпус (22)
Свободны: Книгохранение (4), Абонемент 1 корпус (22)
К15
Каймин, В. А.
Информатика : учебник / В.А. Каймин ; Мин-во образования РФ. - 3-е изд. - М. : ИНФРА-М, 2003. - 272 с. - (Высшее образование). - ISBN 5-16-001393-8
| ГРНТИ | ||
| УДК |
Рубрики: вычислительная техника--информатика
Доп.точки доступа:
М-во образования РФ
Экземпляры всего: 26
Книгохранение (4), Абонемент 1 корпус (22)
Свободны: Книгохранение (4), Абонемент 1 корпус (22)
Page 1, Results: 23