Term-rewriting system
Материал из WEGA
Term-rewriting system --- система переписывания термов.
Навигация
Вики-инструменты
Вики-инструменты
Инструменты для страниц
Инструменты для страниц
Инструменты страницы участника
- Эта страница в последний раз была отредактирована 4 августа 2011 в 12:26.
- Содержание доступно по лицензии GNU Free Documentation License 1.2 (если не указано иное).