Библиография Лаврова И.А.


Гуревич Ю.Ш.
[1966]
Об эффективном распознавании выполнимых формул УИП
Алгебра и логика, 5, № 2, 25-55
67.03.61
статья

Вернуться к поиску