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