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