Поисковый запрос: <.>S=Логическое программирование<.> |
Общее количество найденных документов : 5
Показаны документы с 1 по 5 |
>1. ![](http://89.218.44.250/irbis64r_14/images/printer.jpg)
| 519/Л 694
Логическое программирование [Текст] : сб.ст.:Пер.с англ.и фр. / Под ред.В.Н.Агафонова. - М. : Мир, 1988. - 366 с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-000972-8 : Б. ц. Рубрики: Логическое программирование
Доп.точки доступа: Агафонов, В.Н. \ред.\
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) Найти похожие
|
>2. ![](http://89.218.44.250/irbis64r_14/images/printer.jpg)
| 681.3/Ч-470
Чери, Стефано. Логическое программирование и базы данных [Текст] : пер.с англ. / С.Чери, Г.Готлоб, Л.Танка ; под ред.Л.А.Калиниченко. - М. : Мир, 1992. - 352 с. : ил. - Библиогр.:с.341-350. - ISBN 5-03-002472-7 : Б. ц. Рубрики: Логическое программирование Базы данных
Доп.точки доступа: Готлоб, Г.; Танка, Л.
Экземпляры всего: 3 ХР (3) Свободны: ХР (3) Найти похожие
|
>3. ![](http://89.218.44.250/irbis64r_14/images/printer.jpg)
| 681.3/Х 689
Хоггер, Кристофер Джон. Введение в логическое программирование [Текст] : пер.с англ. / К. Д. Хоггер ; ред. Ю. И. Янов. - М. : Мир, 1988. - 348 с. : ил. - Библиогр.:с.328-338. - ISBN 5-03-000490-4 : Б. ц. Рубрики: Логическое программирование
Доп.точки доступа: Янов, Ю.И. \ред.\
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) Найти похожие
|
>4. ![](http://89.218.44.250/irbis64r_14/images/printer.jpg)
| 519/К 563
Ковальски , Р. Логика в решении проблем [Текст] : пер. с англ. / Р. Ковальски . - М. : Наука, 1990. - 277 с. : ил. - (Проблемы искусственного интеллекта ; вып.18). - Библиогр.:с.263-271. - ISBN 5-02-014148-8 : Б. ц. Рубрики: Логическое программирование
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) Найти похожие
|
>5. ![](http://89.218.44.250/irbis64r_14/images/printer.jpg)
| 007/В 748
Вопросы кибернетики [Текст] : сб.ст. / АН СССР. Науч.совет по комплекс.проблеме Кибернетика; ред. В. В. Иванов. - М. : Сов.радио, 1972 - . Вып.166 : Язык логики и логика языка. - 1990. - 195 с. : ил. - ). - Библиогр. в конце ст. - Б. ц. Рубрики: Кибернетика Логическое программирование
Доп.точки доступа: Иванов, В.В. \ред.\; АН СССР. Науч.совет по комплекс.проблеме Кибернетика
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) Найти похожие
|
|