Полное название | Дудаков С.М. Неразрешимость проблемы определенности бинарных IFP-операторов для теории одного следования // Вестник Тверского государственного университета. Серия: Прикладная математика. 2014. №4. С.7-15. |
Тип публикации | Статья |
Язык | Русский |
URL | http://elibrary.ru/item.asp?id=22791045 |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
С участием зарубежных ученых |