Полное название | Золотов А.С. Применение оператора транзитивного замыкания для формул с одной функцией следования и предиктами делимости // Вестник Тверского государственного университета. Серия: Прикладная математика. 2013. №1. С.101-117. |
Тип публикации | Статья |
Язык | Русский |
URL | http://elibrary.ru/item.asp?id=21012509 |
Дата публикации | 01.01.1900 |
РИНЦ
RSCI
Перечень ВАК
Web of Science
Scopus
Белый список Исключено из Белого списка |
|
С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00