| |
Летичевский, А. А.
Переписывающая машина и оптимизация стратегий переписывания термов [Текст] / А. А. Летичевский, В. В. Хоменко
// Кибернетика и системный анализ. – 2002. – № 5. – 3-17.
В данной статье рассматривается новый вариант переписывающей машины, разработанный для новой версии системы APS |
