На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Подать статью

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

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

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

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

№1
Ожидается:
16 Марта 2024
RSS
Подписаться на RSS

Рыбаков М.Н.

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