Поисковый запрос: (<.>K=ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ<.>) |
Общее количество найденных документов : 35
Показаны документы с 1 по 20 |
|
1.
| Касаткин, Валентин Николаевич. Логическое программирование в занимательных задачах : монография. - Киев : ТЕХНIКА
, 1980. - 80 с. (
экз. )
|
2.
| Реальность и прогнозы искусственного интеллекта : сборник научно-популярных статей. - М. : Мир
, 1987. - 248 с (
2 экз. )
|
3.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 122 : Прикладные аспекты математической логики : сборник научных трудов. - Новосибирск : Институт математики
, 1987. - 166[2] с. (
2 экз. )
|
4.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 120 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1987. - 161[3] с. (
2 экз. )
|
5.
| Хоггер, Кристофер Джон. Введение в логическое программирование : пер. с англ.. - М. : Мир
, 1988. - 348[4] с. (
9 экз. )
|
6.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Языки спецификаций и логическое программирование. - Новосибирск : Институт математики
, 1988. - 148 с. (
2 экз. )
|
7.
| Язык Пролог в пятом поколении ЭВМ : сборник статей 1983-1986 гг.. - М. : Мир
, 1988. - 501 с. (
2 экз. )
|
8.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов. - Новосибирск : Институт математики
, 1989. - 198[4] с. (
2 экз. )
|
9.
| Стерлинг, Леон. Искусство программирования на языке Пролог : Пер. с англ.. - М. : Мир
, 1990. - 333[3] с. (
28 экз. )
|
10.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 133 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1990. - 188[2] с. (
2 экз. )
|
11.
| Логика и компьютер: Моделирование рассуждений и проверка правильности программ. - М. : Наука
, 1990. - 238, [2] с. (
1 экз. )
|
12.
| Ковальски, Роберт. Логика в решении проблем : Пер. с англ.. - М. : Наука. Физматлит
, 1990. - 280 с. (
экз. )
|
13.
| Автоматизация проектирования БИС [] : Практическое пособие: В 6 кн. / Ред. Г. Г. Казеннов. Кн. 2 : Функционально-логическое проектирование БИС : учебное пособие. - М. : Высшая школа
, 1990. - 156 с. (
22 экз. )
|
14.
| Малпас, Джон. Реляционный язык Пролог и его применение : Пер. с англ.. - М. : Наука
, 1990. - 463 с. (
13 экз. )
|
15.
| Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ : Пер. с англ.. - М. : Машиностроение
, 1990. - 235[5] с. (
3 экз. )
|
16.
| Логический подход к искусственному интеллекту : От классической логики к логическому программированию: Пер. с фр.. - М. : Мир
, 1990. - 429[3] с. (
4 экз. )
|
17.
| Математическая логика в программировании : Сборник статей 1980-1988 гг.: Пер. с англ.. - М. : Мир
, 1991. - 408 с. (
1 экз. )
|
18.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов. - Новосибирск : Институт математики
, 1991. - 192[2] с. (
1 экз. )
|
19.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 146 : Логика и семантическое программирование : сборник научных трудов. - Новосибирск : Институт математики
, 1992. - 202[3] с. (
1 экз. )
|
20.
| Чери, Стефано. Логическое программирование и базы данных : Пер. с англ.. - М. : Мир
, 1992. - 352 с. (
3 экз. )
|
|
|
|
Основная база библиотеки
Стандартный