СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Спектр тэхнік, метадаў і тэарэтычных вынікаў, звязаных з працэдурамі паслядоўнай замены частак формул або тэрмаў фармальнай мовы па зададзенай схеме – сістэме перапісваючых правілаў.

ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ         ПЕРЕПИСЫВАНИЕ (мат.)

    КРЫНІЦЫ IНФАРМАЦЫІ
    Сайт "Википедия".