Полная система переписывания термов: различия между версиями

Текущая версия от 13:45, 14 июня 2011

Версия от 13:04, 21 декабря 2009 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки ← Предыдущая правка		Текущая версия от 13:45, 14 июня 2011 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки
Строка 1:		Строка 1:
	~~'''Полная система переписывания термов''' - см~~. ''[[Система переписывания термов]]''.		См. ''[[Система переписывания термов]]''.