Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01

Podrobná bibliografie
Hlavní autor:	Ларионов Д. С. Дмитрий Сергеевич
Korporativní autor:	Томский политехнический университет
Další autoři:	Погребной В. К. (научный руководитель)
Jazyk:	ruština
Vydáno:	Томск, [Б. и.], 2005
Témata:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость диссертации
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88434

Podobné jednotky

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
Autor: Ларионов Д. С. Дмитрий Сергеевич
Vydáno: (Томск, [Б. и.], 2005)

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук
Autor: Ларионов Д. С. Дмитрий Сергеевич
Vydáno: (Томск, [Б. и.], 2005)

Информационный обратный инжиниринг учебное пособие
Autor: Зажигаев А. В.
Vydáno: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)

Электрохимия мембран и обратный осмос
Autor: Духин С. С. Станислав Самуилович
Vydáno: (Ленинград, Химия, 1991)

Экспертные системы на персональных компьютерах: материалы семинара
Vydáno: (Москва, 1990)

Доказуемое и недоказуемое
Autor: Манин Ю. И. Юрий Иванович
Vydáno: (Москва, Советское радио, 1979)

Выявление экспертных знаний
Vydáno: (Москва, Наука, 1989)

Построение экспертных систем: пер. с англ.
Vydáno: (Москва, Мир, 1987)

Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
Autor: Ларионов Д. С.
Vydáno: (2005)

Обратный поток световой энергии в фокусе
Autor: Котляр В. В.
Vydáno: (Москва, ФИЗМАТЛИТ, 2021)

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

Опыт теории лингвистических моделей "смысл-текст": семантика, синтаксис
Autor: Мельчук И. А. Игорь Александрович
Vydáno: (Москва, Наука, 1974)

Логический вывод
Vydáno: (Москва, Наука, 1979)

Разработка экспертных систем. Среда CLIPS
Autor: Частиков А. П.
Vydáno: (СПб., БХВ-Петербург, 2003)

Вопросы применения экспертных систем: сборник научных трудов
Vydáno: (Минск, Центрсистем, 1988)

Русская семантическая персонология: теоретико-методологические основания Монография
Autor: Башкова И.В. Ирина Венадьевна
Vydáno: (Красноярск, Сибирский федеральный университет, 2019)

Практическая грамматика юридических текстов : сборник упражнений Учебное пособие
Autor: Румянцева О.О. Ольга Олеговна
Vydáno: (Москва, Российский государственный университет правосудия, 2021)

Синтаксис научного текста Учебное пособие
Autor: Федорченко Е.А. Евгения Алексеевна
Vydáno: (Москва, РИО Российской таможенной академии, 2020)

Основы морфологии и словообразования Учебное пособие
Autor: Ильясова С.В. Светлана Васильевна
Vydáno: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2020)

С+. Бархатный путь
Autor: Марченко А. Л. Антон Леонардович
Vydáno: (Москва, Горячая линия-Телеком, 1999)

Морфологические категории: антропоцентрический и лингвокультурологический аспекты интерпретации Монография
Autor: Лазарев В. А. Валерий Александрович
Vydáno: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2009)

Проблемы семантики Монография
Autor: Касевич В.Б. Вадим Борисович
Vydáno: (Санкт-Петербург, Издательство Санкт-Петербургского государственного университета, 2019)

Синтаксис словосочетания и простого предложения Учебное пособие
Autor: Рыженкова Т.В. Татьяна Васильевна
Vydáno: (Москва, Московский педагогический государственный университет, 2018)

Развитие лексической семантики: процессы позитивации / негативации значения слова в русском языке Монография
Autor: Ильин Д.Н. Денис Николаевич
Vydáno: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2018)

Научный стиль. Синтаксические нормы. Основы редактирования Учебное пособие
Autor: Чижикова О.В. Ольга Васильевна
Vydáno: (Волгоград, ФГБОУ ВПО Волгоградский государственный аграрный университет, 2023)

Современный русский язык: актуальные вопросы синтаксиса Учебник
Autor: Вартанова Н.Г. Наталья Геннадьевна
Vydáno: (Ростов-на-Дону, Ростовский Государственный Экономический Университет (РГЭУ, бывший РИНХ), 2018)

Элементы логики действий
Autor: Блинов А. Л. Аркадий Леонидович
Vydáno: (Москва, Наука, 1991)

Метод экспертных оценок в лингводидактике; Вестник науки Сибири; № 4 (10)
Autor: Карамнов А. С. Антон Сергеевич
Vydáno: (2013)

Нечеткие модели для экспертных систем в САПР
Autor: Малышев Н. Г. Николай Григорьевич
Vydáno: (Москва, Энергоатомиздат, 1991)

Программирование экспертных систем на Паскале: пер. с англ.
Autor: Сойер Б. Бриан
Vydáno: (Москва, Финансы и статистика, 1990)

Оценка надежности системы с функциональной реконфигурацией; Методы менеджмента качества; № 6
Autor: Замыслов М. А.
Vydáno: (2002)

Ч. 6; VIII симпозиум по проблеме избыточности в информационных системах
Vydáno: (1983)

Теория логического вывода учебное пособие для вузов
Autor: Ганичева А. В.
Vydáno: (Санкт-Петербург, Лань, 2024)

Создание и применение гибридных экспертных систем: тезисы докладов Всесоюзной конференции , Рига, ноябрь 1990 г.
Vydáno: (Рига, Рижский технический университет, 1990)

Методы применения экспертных оценок; Прогрессивные технологии и экономика в машиностроении
Autor: Федюкин И. А.
Vydáno: (2014)

C++. Объектно-ориентированное программирование. Задачи и упражнения: учебное пособие для вузов
Autor: Лаптев В. В. Валерий Викторович
Vydáno: (СПб., Питер, 2007)

Типологические особенности глагольной подсистемы современного немецкого языка; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 5
Autor: Жукова Н. С. Нина Степановна
Vydáno: (2006)

Значение экспертных систем; Современные техника и технологии; Т. 2
Autor: Ожогова О. В.
Vydáno: (2012)

Математическая логика: учебное пособие
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Академия, 2006)

Математико-статистические методы экспертных оценок
Autor: Бешелев С. Д. Семен Давидович
Vydáno: (Москва, Статистика, 1980)