Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 02:36, 27 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:IsaPlanner (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Isaplanner is a proof planner for Isabelle and provides users various tools to prove theorems}} {{primary|date=January 2014}} '''IsaPlanner'''<ref>IsaPlanner 2: A Proof Planner in Isabelle. Lucas Dixon and Moa Johansson. System Description/Technical Report. 2007.</ref> is a proof planner for the interactive proof assistant, Isabelle theorem...»)