4189
правок
Система переписывания термов: различия между версиями
Перейти к навигации
Перейти к поиску
Система переписывания термов (посмотреть исходный код)
Версия от 15:48, 28 января 2010
, 28 января 2010Создана новая страница размером '''Система переписывания термов''' (''Term-rewriting system'') - конечное множество прави...
Glk (обсуждение | вклад) (Создана новая страница размером '''Система переписывания термов''' (''Term-rewriting system'') - конечное множество прави...) |
(нет различий)
|