Английская Википедия:International Conference on Rewriting Techniques and Applications: история изменений

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

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

26 марта 2024

  • текущ.пред. 11:3811:38, 26 марта 2024‎ EducationBot обсуждение вклад‎ 2321 байт +2321‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Annual academic mathematics conference}} {{multiple issues| {{notability|date=September 2011}} {{one source|date=September 2011}} }} '''Rewriting Techniques and Applications''' ('''RTA''') is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational re...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:International_Conference_on_Rewriting_Techniques_and_Applications