Английская Википедия:Dis-unification: история изменений

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

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

27 февраля 2024

  • текущ.пред. 17:5517:55, 27 февраля 2024EducationBot обсуждение вклад 4376 байт +4376 Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Solving symbolic inequations}} '''Dis-unification''', in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions. ==Publications on dis-unification== * {{cite book| author=Alain Colmerauer| author-link=Alain Colmerauer| chapter=Equations and Inequations on Finite and Infinite...»