1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2024 г. Том 17. № 3
Admissible InferenceRules of TemporalIntransitive Logicwith the Operator"tomorrow" Rimatsky VitaliyGanchukova Olga2024 год

Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Rimatsky, Vitaliy. Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" = Допустимые правила временной нетранзитивной логики с оператором "завтра" / V. V. Rimatsky, O. V. Ganchukova. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2024. - Т. 17, № 3. - С. 347-354. - Библиогр.: с. 353-354. - ISSN 1997-1397.
Аннотация: В статье исследуется нетранзитивная временная логика с оператором "завтра".
Год издания: 2024
Авторы: Rimatsky Vitaliy , Ganchukova Olga
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 17, № 3
Номера страниц: 347-354
Количество экземпляров:

Всего свободно 3 из 3 экземпляров.

  • Отдел научно-библиографической работы (пр. Свободный, 79, к. Б3-10): свободно 1 из 1 экземпляров
  • Электронный читальный зал (пер. Вузовский, 3, к. 131): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Лиды Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров