СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
ПЕРАПІСВАННЕ (мат.) |
Спектр тэхнік, метадаў і тэарэтычных вынікаў, звязаных з працэдурамі паслядоўнай замены частак формул або тэрмаў фармальнай мовы па зададзенай схеме – сістэме перапісваючых правілаў.
ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ ПЕРЕПИСЫВАНИЕ (мат.) |
КРЫНІЦЫ IНФАРМАЦЫІ
Сайт "Википедия".
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |