Главная
Добавить
Новые
Исправленные
Примеры
Добавить
Новые
Исправленные
Из слов
В слова
Правки
Все
С комментариями
Направление
Удалённые
Меню
▼
Форум
Поиск
Объявления
Помощь
▶
Принципы
Правила
Документация 大БКРС
Участники
Пословный
Фразы
Скороговорки
Частотность
Собственные
Аддон
Скачать словарь
Тёмная тема
Контакты
Войти
定理证明程序
_
theorem prover
theorem prover
пословный:
定理证明
证明程序
_
theorem-proving
_
justification routine, prover
близкие:
定理证明
定理证明器
定理证明机
定理证明系统