На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

Рыбаков М.Н.

кандидат физико-математических наук (m_rybakov@mail.ru)
доцент, инженер-программист, научный сотрудник
Тверской государственный университет; НИИ «Центрпрограммсистем»; Университет Витвотерсранда
Автор статей:
  1. Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени
  2. Соавторы статьи: Духовнева А.В., Шкатов Д.П.
  3. Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени
  4. Соавторы статьи: Чагрова Л.А.
  5. Моделирование одновременного переноса жидкости и газа: практический подход
  6. Соавторы статьи: Коряков А.П., Костюков И.Б.