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

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

Détails bibliographiques
Auteur principal:	Ларионов Д. С. Дмитрий Сергеевич
Collectivité auteur:	Томский политехнический университет
Autres auteurs:	Погребной В. К. (научный руководитель)
Langue:	russe
Publié:	Томск, [Б. и.], 2005
Sujets:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость диссертации
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88434

Documents similaires

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

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

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

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

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

Доказуемое и недоказуемое
par: Манин Ю. И. Юрий Иванович
Publié: (Москва, Советское радио, 1979)

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

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

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

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

Универсальные языки программирования. Семантический подход
par: Калинин А. Г. Андрей Геннадьевич
Publié: (Москва, Радио и связь, 1991)

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

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

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

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

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

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

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

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

Многомерность текста: понимание и интерпретация Учебное пособие
par: Щирова И.А. Ирина Александровна
Publié: (Санкт-Петербург, Издательство Российского Государственного Педагогического Университета (РГПУ им. А. И. Герцена), 2018)

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

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

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

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

Синтаксис научного текста Практикум
par: Федорченко Е.А. Евгения Алексеевна
Publié: (Москва, РИО Российской таможенной академии, 2020)

Синтаксический разбор сложного предложения Учебно-методическая литература
par: Мартьянова И.А. Ирина Анатольевна
Publié: (Санкт-Петербург, Издательство Российского Государственного Педагогического Университета (РГПУ им. А. И. Герцена), 2021)

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

Современный русский язык. Морфология Учебное пособие
par: Изотова Н.В. Наталья Валерьяновна
Publié: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2025)

Грамматические модели : Grammar charts Учебное пособие
par: Оверчук Л.А. Людмила Анатольевна
Publié: (Новосибирск, Новосибирский государственный технический университет (НГТУ), 2025)

Грамматический справочник с упражнениями. Имя числительное Учебное пособие
par: Брем Н.С. Наталья Сергеевна
Publié: (Новосибирск, Новосибирский государственный технический университет (НГТУ), 2025)

Синтаксис. Корректировочный курс для магистрантов-филологов Учебное пособие
par: Колосова Т.Н. Татьяна Николаевна
Publié: (Санкт-Петербург, Издательство Санкт-Петербургского государственного университета, 2024)

Практическая грамматика французского языка. Часть 2. Морфология Учебное пособие
par: Аврамов Г.Г. Георгий Георгиевич
Publié: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2025)

Cемантика и типология прохибитива в хантыйском языке Монография
par: Онина С.В. Софья Владимировна
Publié: (Чебоксары, ООО "Издательский дом "Среда", 2026)

Извлечение и структурирование знаний для экспертных систем
par: Гаврилова Т. А. Татьяна Альбертовна
Publié: (Москва, Радио и связь, 1992)

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

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

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

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

Современные философы: пер. с англ.
par: Пассмор Дж. Джон
Publié: (Москва, Идея-Пресс, 2002)

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