academic.ru
RU
EN
DE
ES
FR
Запомнить сайт
Словарь на свой сайт
Словари и энциклопедии на Академике
Все языки
Русский
Английский
Французский
Немецкий
Испанский
────────
Албанский
Алтайский
Арабский
Арагонский
Армянский
Арумынский
Астурийский
Африкаанс
Багобо
Баскский
Башкирский
Белорусский
Болгарский
Бурятский
Валлийский
Варайский
Венгерский
Вепсский
Верхнелужицкий
Вьетнамский
Гаитянский
Греческий
Грузинский
Гуарани
Гэльский
Датский
Долганский
Древнерусский язык
Иврит
Идиш
Ингушский
Индонезийский
Инупиак
Ирландский
Исландский
Итальянский
Йоруба
Казахский
Карачаевский
Каталанский
Квенья
Кечуа
Киргизский
Китайский
Клингонский
Коми
Коми
Корейский
Кри
Крымскотатарский
Кумыкский
Курдский
Кхмерский
Латинский
Латышский
Лингала
Литовский
Люксембургский
Майя
Македонский
Малайский
Маньчжурский
Маори
Марийский
Микенский
Мокшанский
Монгольский
Науатль
Нидерландский
Ногайский
Норвежский
Орокский
Осетинский
Османский
Пали
Папьяменто
Пенджабский
Персидский
Польский
Португальский
Румынский, Молдавский
Санскрит
Северносаамский
Сербский
Сефардский
Силезский
Словацкий
Словенский
Суахили
Тагальский
Таджикский
Тайский
Татарский
Тви
Тибетский
Тофаларский
Тувинский
Турецкий
Туркменский
Удмуртский
Узбекский
Уйгурский
Украинский
Урду
Урумский
Фарерский
Финский
Хинди
Хорватский
Церковнославянский (Старославянский)
Черкесский
Чероки
Чеченский
Чешский
Чувашский
Шайенского
Шведский
Шорский
Шумерский
Эвенкийский
Эльзасский
Эрзянский
Эсперанто
Эстонский
Юпийский
Якутский
Японский
Все языки
Русский
Английский
Французский
Немецкий
Испанский
────────
Аварский
Адыгейский
Азербайджанский
Айнский язык
Алтайский
Арабский
Армянский
Баскский
Башкирский
Белорусский
Венгерский
Вепсский
Водский
Греческий
Датский
Иврит
Идиш
Ижорский
Ингушский
Индонезийский
Исландский
Итальянский
Казахский
Карачаевский
Китайский
Коми
Крымскотатарский
Кумыкский
Латинский
Латышский
Литовский
Марийский
Мокшанский
Монгольский
Нидерландский
Норвежский
Осетинский
Персидский
Польский
Португальский
Словацкий
Словенский
Суахили
Таджикский
Тайский
Татарский
Турецкий
Туркменский
Удмуртский
Узбекский
Уйгурский
Украинский
Урумский
Финский
Церковнославянский (Старославянский)
Чеченский
Чешский
Чувашский
Шведский
Шорский
Эвенкийский
Эрзянский
Эсперанто
Эстонский
Якутский
Японский
Найти!
Большой китайско-русский словарь
Толкования
Переводы
Книги
Игры ⚽
Большой китайско-русский словарь
高阶谓词演算
Толкование
Перевод
高阶谓词演算
_
high-order predicate calculus
Наука
.
2013
.
Игры ⚽
Поможем решить контрольную работу
高阶线丛
高阶谓词逻辑
Пометить текст и поделиться
Искать во всех словарях
Искать в переводах
Искать в Интернете
Поделиться ссылкой на выделенное
Прямая ссылка:
…
Нажмите правой клавишей мыши и выберите «Копировать ссылку»
