Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01

Manylion Llyfryddiaeth
Prif Awdur:	Пинжин А. Е. Алексей Евгеньевич
Awdur Corfforaethol:	Томский политехнический университет (ТПУ)
Awduron Eraill:	Новосельцев В. Б. Виталий Борисович (научный руководитель)
Crynodeb:	Защищена 21.01.2010 г.
Iaith:	Rwseg
Cyhoeddwyd:	Томск, 2009
Pynciau:	Интеллектуальные системы Программирование логическое программы синтез планирование оценка логические исчисления языки программирования Пролог диссертации труды учёных ТПУ
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=174254

Eitemau Tebyg

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)

Функциональное и логическое программирование: учебное пособие
gan: Сергиевский Г. М. Георгий Максимович
Cyhoeddwyd: (Москва, Академия, 2010)

Логическое программирование в занимательных задачах
gan: Касаткин В. Н. Валентин Николаевич
Cyhoeddwyd: (Киев, Технiка, 1980)

Современное логическое программирование на языке Visual Prolog 7.5: учебник
gan: Марков В. Н.
Cyhoeddwyd: (Санкт-Петербург, БХВ-Петербург, 2016)

Вып. 133 : Логические методы в программировании; Вычислительные системы
Cyhoeddwyd: (1990)

Функциональное и логическое программирование: учебное пособие
gan: Ездаков А. Л. Андрей Леонидович
Cyhoeddwyd: (Москва, БИНОМ. Лаборатория знаний, 2009)

Интеллектуальные системы: нечеткие системы и сети: учебное пособие для вузов
gan: Горбаченко В. И. Владимир Иванович
Cyhoeddwyd: (Москва, Юрайт, 2021)

Ч. 2; Интеллектуальное программное обеспечение ЭВМ
Cyhoeddwyd: (1990)

Вып. 7; Системный анализ и обработка информации в интеллектуальных системах
Cyhoeddwyd: (2009)

Интеллектуальные информационные системы: учебное пособие
gan: Корниенко А. В. Анатолий Васильевич
Cyhoeddwyd: (Томск, Изд-во ТПУ, 2009)

Гибридные интеллектуальные системы: [монография]
gan: Гаврилов А. В. Андрей Владимирович
Cyhoeddwyd: (Новосибирск, Изд-во НГТУ, 2003)

Интеллектуальные информационные системы: учебник для вузов
gan: Андрейчиков А. В. Александр Валентинович
Cyhoeddwyd: (Москва, Финансы и статистика, 2004)

Автоматическое порождение гипотез в интеллектуальных системах: [сборник]
Cyhoeddwyd: (Москва, URSS, 2009)

Вып. 6; Системный анализ и обработка информации в интеллектуальных системах
Cyhoeddwyd: (2008)

Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Cyhoeddwyd: (1988)

Основы построения интеллектуальных систем: учебное пособие для вузов
gan: Рыбина Г. В. Галина Валентиновна
Cyhoeddwyd: (Москва, Финансы и статистика, 2010)

Биоинспирированные методы в оптимизации: монография
Cyhoeddwyd: (Москва, Физматлит, 2009)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
Cyhoeddwyd: (Москва, Либроком, 2009)

Интеллектуальные робототехнические системы: курс лекций; учебное пособие
gan: Афонин В. Л. Вячеслав Леонидович
Cyhoeddwyd: (Москва, Интернет-Университет информационных технологий, 2005)

Интеллектуальные системы: учебник и практикум для бакалавриата и магистратуры
gan: Кудрявцев В. Б. Валерий Борисович
Cyhoeddwyd: (Москва, Юрайт, 2016)

Основы конструирования интеллектуальных систем поддержки принятия решений в атомной энергетике: учебник для вузов
gan: Башлыков А. А. Александр Александрович
Cyhoeddwyd: (Москва, Инфра-М, 2019)

Основы конструирования интеллектуальных систем поддержки принятия решений в атомной энергетике: учебник для вузов
gan: Башлыков А. А. Александр Александрович
Cyhoeddwyd: (Москва, Инфра-М, 2018)

Встраиваемые системы автоматики и вычислительной техники. Микроконтроллеры
gan: Васильев А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Москва, Горячая линия-Телеком, 2018)

Теория и практика логического программирования на языке Visual Prolog 7: учебное пособие
gan: Цуканова Н. И. Нина Ивановна
Cyhoeddwyd: (Москва, Горячая линия-Телеком, 2013)

Преобразование кодовых сигналов: учебное пособие
gan: Филипчук Е. В. Евгений Викторович
Cyhoeddwyd: (Москва, Изд-во МИФИ, 1979)

Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Cyhoeddwyd: (Таллин, Изд-во ин-та кибернетики, 1986)

Реляционный язык Пролог и его применение: пер. с англ.
gan: Малпас Дж. Р. Джон Р.
Cyhoeddwyd: (Москва, Наука, 1990)

Логическое программирование. Язык Пролог тексты лекций
gan: Волчёнков Н. Г.
Cyhoeddwyd: (Москва, НИЯУ МИФИ, 2015)

Логическое программирование: сборник статей; пер. с англ. и фр.
Cyhoeddwyd: (Москва, Мир, 1988)

Искусство программирования на языке Пролог: пер. с англ.
gan: Стерлинг Л. Леон
Cyhoeddwyd: (Москва, Мир, 1990)

Введение в логическое программирование на микро-прологе: пер. с англ.
gan: Кларк Кейт Л.
Cyhoeddwyd: (Москва, Радио и связь, 1987)

Интеллектуальное программное обеспечение ЭВМ; Интеллектуальное программное обеспечение ЭВМ
Cyhoeddwyd: (1990)

Интеллектуальные информационные системы лабораторный практикум
gan: Козлов А. Н.
Cyhoeddwyd: (Пермь, ПГАТУ, 2022)

Исследовательский проект. Часть 5 (профиль Интеллектуальные системы автоматизации и управления) / ДО 2020 (15.03.04): электронный курс
gan: Воскобойникова О. Б. Ольга Борисовна
Cyhoeddwyd: (Томск, TPU Moodle, 2023)

Искусственный интеллект и пролог на микроЭВМ
gan: Макаллистер Дж.
Cyhoeddwyd: (Москва, Машиностроение, 1990)

Математическая логика: учебное пособие
gan: Игошин В. И. Владимир Иванович
Cyhoeddwyd: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
gan: Игошин В. И. Владимир Иванович
Cyhoeddwyd: (Москва, Инфра-М, 2012)

Интеллектуальные системы и технологии: учебник
gan: Советов Б. Я. Борис Яковлевич
Cyhoeddwyd: (Москва, Академия, 2013)

Функциональное программирование учебник и практикум для вузов
gan: Кубенский А. А. Александр Александрович
Cyhoeddwyd: (Москва, Юрайт, 2024)