Библиографическая ссылка:
Уваров С.И. Усовершенствованный генератор 3-КНФ формул // Автоматика и телемеханика. 2020. № 1. С. 161-172.
Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала:
Да