Term-rewriting system

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

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