RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика. Семинар, 1966, том 5, номер 2, страницы 25–55 (Mi al1052)
Об эффективном распознавании выполнимости формул УИП

Ю. Ш. Гуревич


Поступило: 10.02.1966



Реферативные базы данных:

© МИАН, 2024