1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Многоагентныевременные логики,информация,унифицируемость ипроективность :научное издание Рыбаков Владимир Владимирович2023 год

Многоагентные временные логики, информация, унифицируемость и проективность : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Многоагентные временные логики, информация, унифицируемость и проективность : научное издание / В. В. Рыбаков. - Текст : непосредственный // Алгебра и логика. - 2023. - Т.62, №3. - С. 424-431. - Работа выполнена при финансовой поддержке РНФ, проект No. 23-21-00213. - ISSN 0373-9252, DOI 10.33048/alglog.2023.62.307.
Год издания: 2023
Авторы: Рыбаков Владимир Владимирович
Издательство: Новосибирский региональный фонд "Сибирский фонд алгебры и логики, Новосибирск
Источник: Алгебра и логика
Выпуск: Т.62, №3
Номера страниц: 424-431
Держатель оригинала документа: Ин-т сист. информ. им. А. П. Ершова СО РАН, Сиб. федерал. ун-т
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Динамическиевременные операции вмультиагентныхлогиках Рыбаков Владимир Владимирович2022 год

Динамические временные операции в мультиагентных логиках : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Многоагентныевременные логики,проблемы унификации идопустимости Рыбаков Владимир Владимирович2022 год

Многоагентные временные логики, проблемы унификации и допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Интранзитивныевременныемногоагентные логики,информация и знание,разрешимость Рыбаков Владимир Владимирович2017 год

Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание

  • Рыбаков Владимир Владимирович
  • 2017 год
Многоагентные логикис динамическимиотношениямидостижимости,проективныеунификаторы Рыбаков Владимир Владимирович2022 год

Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Мультиагентныевременныенетранзитивныелинейные логики,проблема допустимости Рыбаков Владимир Владимирович2020 год

Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2020 год
Временныемультиагентные логикис мультиозначиваниями Рыбаков Владимир Владимирович2018 год

Временные мультиагентные логики с мультиозначиваниями : научное издание

  • Рыбаков Владимир Владимирович
  • 2018 год
Логики ветвящегосявременисмультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2021 год
ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание

  • Рыбаков Владимир Владимирович
  • 2024 год

Показать ещё

ЛИНЕЙНАЯ ВРЕМЕННАЯЛОГИКА ЗНАНИЯ LTK.SL:СЕМАНТИКА И ФИНИТНАЯАППРОКСИМИРУЕМОСТЬ Зверева Т.Ю.Башмаков С.И.2023 год

ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада

  • Зверева Т.Ю. и др.
  • 2023 год
Разрешимостьмногоагентной логикидеревьев вычисленийCTLKRel Башмаков Степан ИгоревичСмелых Кирилл Александрович2026 год

Разрешимость многоагентной логики деревьев вычислений CTLKRel : научное издание

  • Башмаков Степан Игоревич и др.
  • 2026 год

Основы математической логики : учебное пособие

  • Людковский С. В. и др.
  • 2023 год

Основы математической логики

  • Паршенкова Ю. А. и др.
  • 2023 год

Математическая логика и теория алгоритмов : учебное пособие

  • Глотина И. М.
  • 2025 год
Реляционная версиямногоагентной логикидеревьев вычисленийCTLK Башмаков Степан ИгоревичСмелых Кирилл Александрович2024 год

Реляционная версия многоагентной логики деревьев вычислений CTLK : научное издание

  • Башмаков Степан Игоревич и др.
  • 2024 год

Математическая логика : Учебное пособие

  • Игошин Владимир Иванович
  • 2023 год
Мульти-агентныелогики свзаимодействием,унифицируемость ипроективность Рыбаков В. В.2024 год

Мульти-агентные логики с взаимодействием, унифицируемость и проективность : статья из журнала

  • Рыбаков В. В.
  • 2024 год