Term-rewriting system

Материал из WikiGrapp
Версия от 12:26, 4 августа 2011; Glk (обсуждение | вклад) (Новая страница: «'''Term-rewriting system''' --- система переписывания термов.»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Term-rewriting system --- система переписывания термов.

Источник — http://pco.iis.nsk.su/grapp/index.php?title=Term-rewriting_system&oldid=9184