Главная
Добавить
Новые
Исправленные
Примеры
Добавить
Новые
Исправленные
Из слов
В слова
Правки
Все
С комментариями
Направление
Удалённые
Меню
▼
Форум
Поиск
Объявления
Помощь
▶
Принципы
Правила
Документация 大БКРС
Участники
Пословный
Фразы
Скороговорки
Частотность
Собственные
Аддон
Скачать словарь
Тёмная тема
Контакты
Войти
二阶谓词演算
_
second-order predicate calculus
исчисление предикатов второй ступени; исчисление предикатов второго порядка
second-order predicate calculus
пословный:
二阶谓词
谓词演算
_
second-order predicate
_
predicate calculus
похожие:
高
阶谓词演算
一
阶谓词演算
三
阶谓词演算
一
阶
纯
谓词演算
纯一
阶谓词演算