Вернуться к Подробностям о выпуске
Cравнение эффективности реализаций алгоритма поиска вывода в секвенциальном исчислении высказываний на языках рефал-5 и Haskell.
Скачать
Скачать PDF