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

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

Dades bibliogràfiques
Autor principal:	Пинжин А. Е. Алексей Евгеньевич
Autor corporatiu:	Томский политехнический университет (ТПУ)
Altres autors:	Новосельцев В. Б. Виталий Борисович (научный руководитель)
Sumari:	Заглавие с титульного экрана Электронная версия печатной публикации
Idioma:	rus
Publicat:	Томск, 2009
Matèries:	Интеллектуальные системы Программирование логическое программы синтез планирование оценка логические исчисления Пролог авторефераты диссертаций труды учёных ТПУ электронный ресурс
Accés en línia:	http://www.lib.tpu.ru/fulltext/a/2010/03.pdf
Format:	Electrònic Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=176040

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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