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

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах, автореферат диссертации на соискание ученой степени кандидата технических наук

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ларионов Д. С. Дмитрий Сергеевич
Συγγραφή απο Οργανισμό/Αρχή:	Томский политехнический университет
Άλλοι συγγραφείς:	Погребной В. К. Владимир Кириллович (727)
Περίληψη:	Заглавие с титульного экрана Электронная версия печатной публикации
Γλώσσα:	Ρωσικά
Έκδοση:	Томск, [Б. и.], 2005
Θέματα:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость авторефераты диссертаций труды учёных ТПУ электронный ресурс
Διαθέσιμο Online:	http://www.lib.tpu.ru/fulltext/a/2006/5.pdf
Μορφή:	Ηλεκτρονική πηγή Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90669

Παρόμοια τεκμήρια

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01
από: Ларионов Д. С. Дмитрий Сергеевич
Έκδοση: (Томск, [Б. и.], 2005)

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах автореферат диссертации на соискание ученой степени кандидата технических наук Спец. 05.13.01
από: Ларионов Д. С. Дмитрий Сергеевич
Έκδοση: (Томск, [Б. и.], 2005)

Информационный обратный инжиниринг учебное пособие
από: Зажигаев А. В.
Έκδοση: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)

Экспертные системы на персональных компьютерах материалы семинара
Έκδοση: (Москва, 1990)

Электрохимия мембран и обратный осмос
από: Духин С. С. Станислав Самуилович
Έκδοση: (Ленинград, Химия, 1991)

Использование модальной логики для проектирования оболочек экспертных систем
από: Ларионов Д. С.
Έκδοση: (2005)

Метод экспертных оценок в лингводидактике
από: Карамнов А. С. Антон Сергеевич
Έκδοση: (2013)

Доказуемое и недоказуемое
από: Манин Ю. И. Юрий Иванович
Έκδοση: (Москва, Советское радио, 1979)

Построение экспертных систем пер. с англ.
Έκδοση: (Москва, Мир, 1987)

Выявление экспертных знаний
Έκδοση: (Москва, Наука, 1989)

Опыт теории лингвистических моделей "смысл-текст" семантика, синтаксис
από: Мельчук И. А. Игорь Александрович
Έκδοση: (Москва, Наука, 1974)

Логический вывод
Έκδοση: (Москва, Наука, 1979)

Теоретическая грамматика английского языка учебное пособие для вузов
από: Худяков А. А. Андрей Александрович
Έκδοση: (Москва, Академия, 2005)

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

Вопросы применения экспертных систем сборник научных трудов
Έκδοση: (Минск, Центрсистем, 1988)

Основы морфологии и словообразования Учебное пособие
από: Ильясова С.В. Светлана Васильевна
Έκδοση: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2020)

Русская семантическая персонология: теоретико-методологические основания Монография
από: Башкова И.В. Ирина Венадьевна
Έκδοση: (Красноярск, Сибирский федеральный университет, 2019)

Проблемы семантики Монография
από: Касевич В.Б. Вадим Борисович
Έκδοση: (Санкт-Петербург, Издательство Санкт-Петербургского государственного университета, 2019)

Развитие лексической семантики: процессы позитивации / негативации значения слова в русском языке Монография
από: Ильин Д.Н. Денис Николаевич
Έκδοση: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2018)

Синтаксис словосочетания и простого предложения Учебное пособие
από: Рыженкова Т.В. Татьяна Васильевна
Έκδοση: (Москва, Московский педагогический государственный университет, 2018)

С+. Бархатный путь
από: Марченко А. Л. Антон Леонардович
Έκδοση: (Москва, Горячая линия-Телеком, 1999)

Морфологические категории: антропоцентрический и лингвокультурологический аспекты интерпретации Монография
από: Лазарев В. А. Валерий Александрович
Έκδοση: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2009)

Синтаксис научного текста Учебное пособие
από: Федорченко Е.А. Евгения Алексеевна
Έκδοση: (Москва, РИО Российской таможенной академии, 2020)

Практическая грамматика юридических текстов : сборник упражнений Учебное пособие
από: Румянцева О.О. Ольга Олеговна
Έκδοση: (Москва, Российский государственный университет правосудия, 2021)

Научный стиль. Синтаксические нормы. Основы редактирования Учебное пособие
από: Чижикова О.В. Ольга Васильевна
Έκδοση: (Волгоград, ФГБОУ ВПО Волгоградский государственный аграрный университет, 2023)

Современный русский язык: актуальные вопросы синтаксиса Учебник
από: Вартанова Н.Г. Наталья Геннадьевна
Έκδοση: (Ростов-на-Дону, Ростовский Государственный Экономический Университет (РГЭУ, бывший РИНХ), 2018)

Значение экспертных систем
από: Ожогова О. В.
Έκδοση: (2012)

Обратный поток световой энергии в фокусе
από: Котляр В. В.
Έκδοση: (Москва, ФИЗМАТЛИТ, 2021)

Методы применения экспертных оценок
από: Федюкин И. А.
Έκδοση: (2014)

Разработка экспертных систем. Среда CLIPS
από: Частиков А. П.
Έκδοση: (СПб., БХВ-Петербург, 2003)

Элементы логики действий
από: Блинов А. Л. Аркадий Леонидович
Έκδοση: (Москва, Наука, 1991)

Оценка надежности системы с функциональной реконфигурацией
από: Замыслов М. А.
Έκδοση: (2002)

Ч. 6
Έκδοση: (1983)

Теория логического вывода учебное пособие для вузов
από: Ганичева А. В.
Έκδοση: (Санкт-Петербург, Лань, 2024)

Метод экспертных оценок в управлении риском
από: Мирзоева С. С.
Έκδοση: (2014)

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

Программирование экспертных систем на Паскале пер. с англ.
από: Сойер Б. Бриан
Έκδοση: (Москва, Финансы и статистика, 1990)

Информационная система анализа достоверности экспертных оценок
από: Титова М. А.
Έκδοση: (2014)

C++. Объектно-ориентированное программирование. Задачи и упражнения учебное пособие для вузов
από: Лаптев В. В. Валерий Викторович
Έκδοση: (СПб., Питер, 2007)

Типологические особенности глагольной подсистемы современного немецкого языка
από: Жукова Н. С. Нина Степановна
Έκδοση: (2006)