Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 09:44, 18 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:HOL (proof assistant) (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Interactive theorem proving systems}} {{Infobox programming language | name = HOL | designer = Michael J C Gordon | license = Modified (3-clause) BSD licence | website = {{url|hol-theorem-prover.org}} | file_ext = .sml }} '''HOL''' ('''Higher Order Logic''') denotes a family of interactive theorem proving systems using simil...»)