Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 18:50, 5 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Extended ML (Новая страница: «{{Английская Википедия/Панель перехода}} {{notability|date=October 2011}} '''Extended ML''' is a wide-spectrum language based on ML, covering both specification and implementation. It extends the syntax of ML to include axioms, which do not need to be executable but can rigorously specify the behavior of the program. With this addition the lan...»)