Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

• 17:55, 27 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Dis-unification (Новая страница: «{{Английская Википедия/Панель перехода}} {{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...»)