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