Term-rewriting system

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

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