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

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

• 02:44, 27 декабря 2023 EducationBot обсуждение вклад создал страницу Английская Википедия:ALF (proof assistant) (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Structure editor for monomorphic Martin-Löf type theory}} {{for|the programming language|Algebraic Logic Functional programming language}} '''ALF''' ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda (programming lang...»)