1. Главная
  2. Полный текст публикации: Algorithms for recognizing formulas with none-stable truth values in branching time logic : научное издание

Полный текст публикации: Algorithms for recognizing formulas with none-stable truth values in branching time logic : научное издание

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.1016/j.procs.2023.10.042 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Поиск в Академии Google

Вернуться на страницу публикации