| Полное название | Рыбаков М.Н., Шкатов Д.П. Неразрешимость логик с унарным предикатом и двумя переменными // Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем». Сборник трудов. Тверь: Тверской государственный университет, 2021. С.246-254. |
| Тип публикации | Статья в трудах конференции |
| Дата публикации | 01.01.1900 |
| Язык | Русский |
| URL | https://elibrary.ru/item.asp?id=47365946 |
| DOI | http://dx.doi.org/10.26456/mfcsics-21-34 |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00