Поисковый запрос: (<.>K=ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ<.>) |
Общее количество найденных документов : 35
Показаны документы с 1 по 20 |
|
1.
| Реальность и прогнозы искусственного интеллекта : сборник научно-популярных статей. - М. : Мир
, 1987. - 248 с (
2 экз. )
|
2.
| Орлов, Сергей Александрович. Теория и практика языков программирования : учебник. - СПб. : ПИТЕР
, 2014. - 688 с. (
1 экз. )
|
3.
| Романов А. С. Языки программирования : лабораторный практикум. - Томск : В-Спектр
, 2012. - 40 с (
1 экз. )
|
4.
| Абрамов, Игорь Анатольевич. Программирование на языке Пролог : учебное пособие. - Пенза : ПГПУ
, 2011. - 116 с (
10 экз. )
|
5.
| Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов. - М. : КноРус
, 2010. - 208 с. (
1 экз. )
|
6.
| Язык Пролог в пятом поколении ЭВМ : сборник статей 1983-1986 гг.. - М. : Мир
, 1988. - 501 с. (
2 экз. )
|
7.
| Зюзьков, Валентин Михайлович. Логическое программирование : учебное пособие. - Томск : Издательство Томского университета
, 2007. - 142, [1] с. (
33 экз. )
|
8.
| Зюзьков, Валентин Михайлович. Логическое программирование : учебное пособие. - Томск : ТМЦДО
, 2005. - 145 с. (
2 экз. )
|
9.
| Марков, Александр Сергеевич. Базы данных. Введение в теорию и методологию : Учебник для вузов. - М. : Финансы и статистика
, 2006. - 510[2] с. (
18 экз. )
|
10.
| Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ : Пер. с англ.. - М. : Машиностроение
, 1990. - 235[5] с. (
3 экз. )
|
11.
| Хоггер, Кристофер Джон. Введение в логическое программирование : пер. с англ.. - М. : Мир
, 1988. - 348[4] с. (
9 экз. )
|
12.
| Зюзьков, Валентин Михайлович. Логическое программирование : учебное пособие. - Томск : ТМЦДО
, 2000. - 62 с. (
8 экз. )
|
13.
| Стерлинг, Леон. Искусство программирования на языке Пролог : Пер. с англ.. - М. : Мир
, 1990. - 333[3] с. (
28 экз. )
|
14.
| Логика и компьютер: Моделирование рассуждений и проверка правильности программ. - М. : Наука
, 1990. - 238, [2] с. (
1 экз. )
|
15.
| Чери, Стефано. Логическое программирование и базы данных : Пер. с англ.. - М. : Мир
, 1992. - 352 с. (
3 экз. )
|
16.
| Зюзьков, Валентин Михайлович. Логическое и функциональное программирование : Учебное методическое пособие. - Томск : ТМЦДО
, 2000. - 72 с. (
2 экз. )
|
17.
| Математическая логика в программировании : Сборник статей 1980-1988 гг.: Пер. с англ.. - М. : Мир
, 1991. - 408 с. (
1 экз. )
|
18.
| Касаткин, Валентин Николаевич. Логическое программирование в занимательных задачах : монография. - Киев : ТЕХНIКА
, 1980. - 80 с. (
экз. )
|
19.
| Ковальски, Роберт. Логика в решении проблем : Пер. с англ.. - М. : Наука. Физматлит
, 1990. - 280 с. (
экз. )
|
20.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 148 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1993. - 176 с. (
1 экз. )
|
|
|
|
Основная база библиотеки
Стандартный