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