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

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

• 15:51, 15 сентября 2023 EducationBot обсуждение вклад создал страницу Русская Википедия:Слабейшее предусловие (Новая страница: «{{Русская Википедия/Панель перехода}} '''Преобразователи предикатов''' — расширение логики Флойда-Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1]<ref name="guarded">Дейкстра Э. ''Guarded commands, nondeterminacy and formal derivation of programs.''</re...»)