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