Полное название | Духовнева А.В., Рыбаков М.Н., Шкатов Д.П. Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени // Программные продукты и системы. 2016. №4 (29). С.135-142. |
Тип публикации | Статья |
Язык | Русский |
URL | http://swsys.ru/index.php?page=article&id=4230&lang= |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/http://dx.doi.org/10.15827/0236-235X.116.135–142 |
С участием зарубежных ученых |