Поисковый запрос: <.>S=Логическое программирование<.> |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
1. 
| А172108-КХ
32.97
В 94
Вычислительные системы [Текст] : сборник научных трудов. - Новосибирск : Институт математики СО РАН.
148 : Логические методы в информатике. - 1993. - 176 с. - ISBN 5-7623-0675-5 : 1000.00 р.ББК 32.973.202я54 + 22.19я54
Рубрики: Логическое программирование--Сборники
Вычислительные системы--Сборники
Держатели документа:
ООПБ
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
2.
| А135763-КХ
22.18
К 56
Ковальски, Роберт.
Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ. Л. Г. Осмоловского ; сост. предисл. и примеч. Д. А. Поспелова. - М. : Наука, 1990. - 277, [1] с. : ил. - (Проблемы искусственного интеллекта ; вып. 18). - Библиогр.: с. 263-271. - Указ. имен. и предм.: с. 272-278. - ISBN 5-02-014148-8 : 4.00 р.ББК 22.186
Рубрики: Логическое программирование
Держатели документа:
ООПБ
Доп.точки доступа:
Осмоловский, Л. Г. \пер.\; Поспелова, Д. А. \сост. предисл. и примеч.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
3.
| А139982-КХ
22.1
Л 69
Логический подход к искусственному интеллекту [Текст] : от классич. логики к логич. программир. / А. Тейз, П. Грибомон, Ж. Луи и др.; под ред. Г. П. Гаврилова. - М. : Мир, 1990. - 429 с. : ил. - Библиогр.: с. 411-417. - ISBN 5-03-001636-8 : 2.90 р.ББК 22.122 + 22.186
Рубрики: Математическая логика
Искусственный интеллект
Логическое программирование
Держатели документа:
ООПБ
Доп.точки доступа:
Тейз, А.; Грибомон, П.; Луи, Ж.; Гаврилов, Г. П. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
4.
| А86874-КХ
32.97
Л 69
Логическое программирование [Текст] : сб. ст.: пер. с англ. и фр. / под ред. В. Н. Агафонова. - М. : Мир, 1988. - 366, [1] с. - Библиогр. в конце ст. - ISBN 5-03-000972-8 : 2 р.ББК 32.973.2-018
Рубрики: Вычислительные машины электронные--Программирование--Сборники
Логическое программирование--Сборники
Держатели документа:
ООПБ
Доп.точки доступа:
Агафонов, В. Н. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
5.
| А131528-ПТО
22.18
М 15
Макаллистер, Дж.
Искусственный интеллект и пролог на микроЭВМ [Текст] : [пер. изд.] / Дж. Макаллистер ; пер. с англ.: А. В. Чукашова, М. В. Сергиевского ; под ред. М. В. Сергиевского. - М. : Машиностроение, 1990. - 235, [2] с. - Библиогр. в конце кн. (12 назв.). - ISBN 5-217-00973-X : 2.40 р.ББК 22.186 + 32.973.26-018
Рубрики: Логическое программирование
Программирования языки
Искусственный интеллект
Держатели документа:
ООПБ
Доп.точки доступа:
Чукашов, А. В. \пер.\; Сергиевский, М. В. \пер.\; Сергиевский, М. В. \ред.\
Экземпляры всего: 1
ПТО (1)
Свободны: ПТО (1)
Найти похожие
|
6.
| А140857-КХ
32.97
М 19
Малпасс, Джон Р..
Реляционный язык пролог и его применение [Текст] / Дж. Р. Малпасс ; под ред. В. Н. Соболева. - М. : Наука, 1990. - 463 с. : ил. - Библиогр.: с. 448-458. - ISBN 5-02-014509-2 : 3.50 р.ББК 32.973.2-018.2
Рубрики: Логическое программирование
Программирования языки
Держатели документа:
ООПБ
Доп.точки доступа:
Соболев, В. Н. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
7.
| А144514-КХ
22.18
М 54
Методы и средства алгебраического и логического программирования [Текст] : сб. науч. тр. / АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика" ; отв. ред. А. А. Летичевский. - Киев : ИК, 1990. - 74 с. : ил. - Библиогр. в конце ст. - ISBN 5-7702-0045-6 : 1 р.ББК 22.183.4я431 + 32.973.2-018я431
Рубрики: Логическое программирование--Сборники
Вычислительные машины электронные--Программирование--Сборники
Держатели документа:
ООПБ
Доп.точки доступа:
Летичевский, А. А. \отв. ред.\; АН УССР, Ин-т кибернетики им. В. М. Глушкова, Науч. совет АН УССР по пробл. "Кибернетика"
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
8.
| А90538-КХ
32.97
Я 41
Язык пролог в пятом поколении ЭВМ [Текст] : сб. ст. : пер. с англ. / под ред. Н. И. Ильинского. - Москва : Мир, 1988. - 501 с. : ил. - ISBN 5-03-000537-4 : 2.60 р.ББК 32.973.2
Рубрики: Логическое программирование--Сборники
Программирования языки--Сборники
Держатели документа:
ООПБ
Доп.точки доступа:
Ильинский, Н. И. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
|
|
|
Главная
Описание
Электронный каталог
Стандартный