Полный текст публикации: Satisfiability in a Temporal Multi-valueted Logic Based on Z

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

  1. DOI 10.17516/1997-1397-2022-15-1-56-74 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Scopus (вверху ссылка «Скачать»)
  4. Поиск в Академии Google

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