Return to Article Details Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами Download Download PDF