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